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

Documents Related by Co-Citation

23 A New Category? Domains, Spaces and Equivalence Relations. Unpublished manuscript – D S Scott - 1996
322 A compendium of continuous lattices – G Gierz, K H Hofmann, K Keimel, J Lawson, M Mislove, D Scott - 1980
1788 Computational Geometry: An Introduction – F Preparata, M Shamos - 1988
458 Domain Theory – Samson Abramsky, Achim Jung - 1994
239 Computable Analysis – K Weihrauch - 2000
217 Representations for Rigid Solids: Theory, Methods, and Systems – Aristides A. G. Requicha - 1980
5 Equilogical spaces. URL: http:// www.cs.cmu.edu/Groups/LTC – A Bauer, L Birkedal, D S Scott - 1998
231 G.: Abstract and Concrete Categories – J Ad├ímek, H Herrlich, Strecker - 1990
101 Universal algebra – K Meinke, J V Tucker - 1992