A model for Coquand’s theory of constructions
C. R. Math. Rep. Acad. Sci. Canada Vol. 10 (2) 1988, pp. 89–94
April 1, 1988
F. Lamarche
Abstract/Résumé:
Keywords:
AMS Subject Classification:
PDF(click to download):
A model for Coquand's theory of constructions
AMS Subject Classification:
[This journal is open access except for the current year and the preceding 5 years]