Locally Cartesian closed categories and type theory

C. R. Math. Rep. Acad. Sci. Canada Vol. 4 (5) 1982, pp. 271–276
(Received: 1982-07-08 )

R.A.G. Seely

Abstract/Résumé:

No abstract available but the full text pdf may be downloaded at the title link below.

Keywords:

AMS Subject Classification:

PDF(click to download): Locally Cartesian closed categories and type theory