A model for Coquand’s theory of constructions

September 20, 2019 By

C. R. Math. Rep. Acad. Sci. Canada Vol. 10 (2) 1988, pp. 89–94

April 1, 1988

F. Lamarche

Abstract/Résumé:

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

Keywords:
AMS Subject Classification:

PDF(click to download): A model for Coquand's theory of constructions