Type theory via exact categories (extended abstract (1998)

by L Birkedal, A Carboni, G Rosolini, D Scott
Venue:JOYAL’S ARITHMETIC UNIVERSE AS LIST-ARITHMETIC PRETOPOS 81 [BCRS98] [Car95] [CLW93] [CV98] [Coc90] [dB91] [Hof95