Login / Signup

Algebra of Constructsion II: An Algebraic Approach to Martin-Löf Theory and the Calculus of Constructions.

Adam Obtulowicz
Published in: Math. Struct. Comput. Sci. (1993)
Keyphrases