Adjointness in recursion
- 31 December 1986
- journal article
- Published by Elsevier in Annals of Pure and Applied Logic
- Vol. 32, 281-289
- https://doi.org/10.1016/0168-0072(86)90056-4
Abstract
No abstract availableKeywords
This publication has 4 references indexed in Scilit:
- Noncomputability in analysis and physics: A complete determination of the class of noncomputable linear operatorsAdvances in Mathematics, 1983
- Generalized Banach-Mazur functionals in the topos of recursive setsJournal of Pure and Applied Algebra, 1982
- Maximal and everywhere-defined functionalsAlgebra and Logic, 1974
- Diagonal arguments and cartesian closed categoriesPublished by Springer Nature ,1969