Limit Spaces and Transfinite Types (1998)

Cached

Download Links

by Dag Normann , Geir Waagbø
Citations:2 - 0 self

Documents Related by Co-Citation

1083 Introduction to Lattices and Order – DP90 B A Davey, H A Priestley - 1990
322 A compendium of continuous lattices – G Gierz, K H Hofmann, K Keimel, J Lawson, M Mislove, D Scott - 1980
216 Data types as lattices – Dana Scott - 1976
57 Equality between Functionals – Harvey Friedman - 1975
53 First steps in synthetic domain theory – Martin Hyland - 1991
40 The troublesome probabilistic powerdomain – Achim Jung, Regina Tix - 1998
36 Total sets and objects in domain theory – U Berger - 1993
30 A reflection theorem for closed categories – B J Day - 1972
27 Type theory via exact categories – L Birkedal, A Carboni, G Rosolini, D S Scott - 1998
23 Filter Spaces and Continuous Functions – J M E Hyland - 1979