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
Citations:7 - 0 self

Document Versions

Type Theory via Exact Categories (Extended Abstract) –L. Birkedal, A. Carboni, G. Rosolini, D. S. Scott — 1998 — In Proceedings of the 13th Annual IEEE Symposium on Logic in Computer Science LICS '98