Lifting

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1290, Issue , 1997, Pages 281-292

  Bucalo, Anna ^a   Rosolini, Giuseppe ^a  

^a UNIVERSITY OF GENOA   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

ALGEBRA;

FINITE PRODUCTS; FUNCTORS; PARTIAL MAPS;

COMPUTATION THEORY;

EID: 0006936250     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/bfb0026994     Document Type: Conference Paper

References (17)

1. A. Carboni. Categorie di mappe parziali. Riv. Mat. Univ. Parma, 9:373-377, 1984.
2. P.L. Curien and A. Obtutowicz. Partiality and cartesian categories. Inform. And Comput., 80:50-95, 1989.
3. R. Di Paola and A. Heller. Dominical categories: recursion theory without elements. Journ. Symb. Logic, 57:594-635, 1986.
4. Ju.L. Eršov. Theorie der Nttmeriertmgen. Zeitschriftfur Math. Log., 19(4):289-388, 1973.
5. Ju.L. Eršov. Model C of partial continuous functionals. In R.O. Gandy and J.M.E. Hyland, editors, Logic Colloquium '77, pages 455-467. North Holland Publishing Company, 1977.
6. M.P. Fiore. Axiomatic Domain Theory in Categories of Partial Maps. Cambridge University Press Distinguished Dissertations in Computer Science, 1996.
7. M. Grandis. Cohesive categories and manifolds. Ann. Mat. Pura Appl. (4), 157:199-244, 1990.
8. M. Grandis. Cohesive categories and measurable operators. Rend. Accad. Naz. Sci. XL Mere. Mat. (5), 14(1):195-234, 1990.
9. H.J. Hoenke. On partial algebras. Col. Math. Soc. J. Bolyai, 29:373-412, 1977.
10. Bart Jacobs. Semantics of weakening and contraction. Ann. Pure Appl. Logic, 69(1):73-106, 1994.
11. A. Kock. Strong functors and monoidal monads. Arch. Math., 23:113-120, 1972.
12. E. Moggi. The partial-tambala calculus. Ph.D. Thesis, University of Edinburgh, 1988.
13. E. Moggi. Notions of computations and monads. Inform. and Comput,, 79:95-130, 1992.
14. A.J. Power. Modularity in denotational semantics, to appear in E.N.T.C.S. 6, 1997.
15. M. Proietti. Connections between partial maps categories and tripos theory. In Category theory and computer science (Edinburgh, 1987), volume 283 of Lecture /Votes in Comput. Sci., pages 254-269. Springer, Berlin, 1987.
16. E.P. Robinson and G. Rosolini. Categories of partial maps. Inform. and Comput., 79:95-130, 1988.
17. G. Rosolini. Continuity and effectiveness in topoi. D.Phil. Thesis, University of Oxford, 1986.