Locally Cartesian closed categories and type theory

September 20, 2019 By

C. R. Math. Rep. Acad. Sci. Canada Vol. 4 (5) 1982, pp. 271–276

October 1, 1982

R.A.G. Seely

Abstract/Résumé:

No abstract available but the full text is online at the title link above.

Keywords:
AMS Subject Classification:

[This journal is open access except for the current year and the preceding 5 years]