Locally Cartesian closed categories and type theory
C. R. Math. Rep. Acad. Sci. Canada Vol. 4 (5) 1982, pp. 271–276
October 1, 1982
R.A.G. Seely
Abstract/Résumé:
Keywords:
AMS Subject Classification:
PDF(click to download):
Locally Cartesian closed categories and type theory
AMS Subject Classification:
[This journal is open access except for the current year and the preceding 5 years]