Author:
Bucalo Anna,Rosolini Giuseppe
Publisher
Springer Berlin Heidelberg
Reference17 articles.
1. A. Carboni. Categorie di mappe parziali. Riv. Mat. Univ. Parma, 9:373–377, 1984.
2. P.L. Curien and A. Obtulowicz. 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. Ersov. Theorie der Numerierungen. Zeitschrift fur Math. Log., 19(4):289–388, 1973.
5. Ju.L. Ersov. 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.
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献