Type theory via exact categories (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, IEEE Computer