Comparing models of higher type computation

Electronic Notes in Theoretical Computer Science

Volumn 23, Issue 1, 1999, Pages 159-165

  Rosolini, G ^a   Streicher, Th ^b  

^a UNIVERSITY OF GENOA   (Italy)

^b DARMSTADT UNIVERSITY OF TECHNOLOGY   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER PROGRAMMING LANGUAGES; COMPUTER SCIENCE; EQUIVALENCE CLASSES; MATHEMATICAL MODELS; RECURSIVE FUNCTIONS; SEMANTICS; THEOREM PROVING;

ALGEBRIC MODELS; LIMIT PRESERVING FUNCTIONALS; PARTIAL EQUIVALENCE RELATIONS (PER); REALIZABILITY MODELS;

FORMAL LOGIC;

EID: 19044380415     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/S1571-0661(04)00109-4     Document Type: Conference Paper

References (20)

1. A. Bauer, L. Birkedal, and D.S. Scott. Equilogical spaces. Submitted for publication a1998
2. L. Birkedal, A. Carboni, G. Rosolini, and D.S. Scott. Type theory via exact categories. In V. Pratt editor, Proc. 13th Symposium in Logic in Computer Science, pages 188-198, Indianapolis, 1998. I.E.E.E. Computer Society.
3. Carboni A. Some free constructions in realizability and proof theory. J. Pure Appl. Alg. 103:1995;117-148
4. Carboni A., Celia Magno R. The free exact category on left exact one. Journ. Austr. Math. Soc. 33:(A):1982;295-301
5. Carboni A., Mantovani S. An elementary characterization of categories of separate objects. J. Pure Appl. Algebra. 89:(1-2):1993;63-92
6. A. Carboni and G. Rosolini. Locally Cartesian closed exact completions, 1998. to appear.
7. Carboni A., Rosolini G. Locally Cartesian closed exact completions. J. Pure Appl. Alg. 1998;. to appear.
8. Carboni A., Vitale E.M. Regular and exact completions. J Pure Appl. Alg. 125:1998;79-117
9. B. Day. Limit spaces and closed span categories. In Category Seminar (proc. Sem., Sydney, 1972/1973), volume 420 of Lecture Notes in Mathematics, pages 65-74. Springer-Verlag, 1974.
10. E.J. Dubuc. Concrete quasitopoi. In Fourman et all. [11], pagaes 239-279
11. M. Fourman, C. Mulvey, and D.S. Scostt editor. Application of Sheaves volume 753 of Lecture Notes in Mathematics. Springer-Verlag, 1979.
12. J.M.E. Hyland. Continuity in spatial toposes. In Fourman et al. [11], pages 442-465.
13. F.W. Lawvere. Diagonal arguments and Cartesian closed categories. In category Theory, Homology Theory and their Applications, II (Battelle Institute Conference, Seattle, Wash., 1968, Vol. Two), pages 134-145 Springer, Berlin, 1969.
14. Longo G., Moggi E. The hereditary partial effective functionals and recursion theory in higher type. J. Symb. Logic. 49:1984;127-140
15. Q.M. Ma and J.C. Reynolds. Types, abstraction, and parametric polymorphism, part 2. In S. Brookes, M. Main, A. Melton, M. Mislove, and D. Schmidt, editors, Mathematical Foundations of Programming Semantics, volume 598 of Lecture Notes in Computer Science, pages 1-40 Springer-Verlag, 1992.
16. Mulry P. Generalized Banach-Mazur functionals in the topos fo recursive sets. J. Pure Appl. Alg. 26:1982;71-83
17. Robinson E.P., Rosolini G. Colimit completions and the effective topos. J. Symb. Logic. 55:1990;678-699
18. G. Rosolini. Equilogical spaces and filter spaces, 1999. to appear.
19. Scott D.S. Relating theories of λ-calculus. Hindley R., Seldin J. To H.B. Curry: essays in combinatory logic lambda calculus and formalisms. 1980;403-450 Academic Press
20. Wyler O. Lecture notes on topoi and quaistopoi. 1991;World Scientific Publishing Co Inc