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