Type Theory via Exact Categories.

Lars Birkedal, Aurelio Carboni, Giuseppe Rosolini, Dana S. Scott

Browse the full LICS paper archive.