and Thierry Coquand. Structured type theory (1999)

by Catarina Coquand
Venue:In Workshop on Logical Frameworks and Metalanguages