A categorial approach to the theory of computation
type: Item
instance of: scholarly article
title: A categorial approach to the theory of computation
zbMATH Open document ID: 0697.03030
DOI: 10.1016/0168-0072(89)90072-9
author: Philip S. Mulry
published in: Annals of Pure and Applied Logic
publication date: 1989-01-01T00:00:00Z
review text: This paper is part of the spirit of studying recursive function theory from a categorical point of view, especially using the theory of topoi. In section one the author gives an introduction to the recursive topos. In section two the author proves theorems involving effective operations. In section three he applies the previous results to the category of effective domains. In section four there are theorems on fixed points.
Mathematics Subject Classification ID: 03D75
Mathematics Subject Classification ID: 18B25
zbMATH DE Number: 4142026
zbMATH Keywords: recursive topos
zbMATH Keywords: effective operations
zbMATH Keywords: category of effective domains
zbMATH Keywords: fixed points
MaRDI profile type: Publication
full work available at URL: 0168-0072(89)90072-9
OpenAlex ID: W2086248250
cites work: Q4168604
cites work: Q3671978
cites work: Q5622402
cites work: The hereditary partial effective functionals and recursion theory in higher types
cites work: Q3677755
cites work: Generalized Banach-Mazur functionals in the topos of recursive sets
cites work: Adjointness in recursion
cites work: Q4207894
cites work: Noncomputability in analysis and physics: A complete determination of the class of noncomputable linear operators
cites work: Q5573961
cites work: Toposes, algebraic geometry and logic. Dalhousie University, Halifax, January 16-19, 1971
cites work: Q3664454
description: scientific article; zbMATH DE number 4142026