1 results
Algebra of constructions II: an algebraic approach to Martin-Löf type theory and the calculus of constructions
-
- Journal:
- Mathematical Structures in Computer Science / Volume 3 / Issue 1 / March 1993
- Published online by Cambridge University Press:
- 04 March 2009, pp. 63-92
-
- Article
- Export citation