and Thierry Coquand. Structured Type Theory (1999)

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