Type theory via exact categories (1998)

by L Birkedal, A Carboni, G Rosolini, D Scott
Venue:Proc. 13th Symposium in Logic in Computer Science