Type Theory via Exact Categories (Extended Abstract) (1998)

by L. Birkedal, A. Carboni, G. Rosolini, D. S. Scott
Venue:In Proceedings of the 13th Annual IEEE Symposium on Logic in Computer Science LICS '98