Structured type theory (1999)

by C Coquand, T Coquand
Venue:In Proceedings of the Workshop on Logical Frameworks and Meta-Languages (LFM’99