Faking It 19 (1999)

by Catarina Coquand
Venue:Structured Type Theory. Workshop on Logical Frameworks and Metalanguages