The category of recursive functions

Harry Gronshor

Skip to main content (access key 's'), Skip to navigation (access key 'n'), Accessibility information (access key '0')

Displaying similar documents to “The category of recursive functions”

Recursive coalgebras of finitary functors

Jiří Adámek, Dominik Lücke, Stefan Milius (2007)

RAIRO - Theoretical Informatics and Applications

Similarity:

For finitary set functors preserving inverse images, recursive coalgebras of Paul Taylor are proved to be precisely those for which the system described by always halts in finitely many steps.

Recursive metric spaces

Y. Moschovakis (1964)

Fundamenta Mathematicae

Similarity:

Primitive recursive categories and machines

Yves Lafont (1989)

Diagrammes

Similarity:

On representations as an infinite series of isols

J. Barback, W. D. Jackson (1970)

Compositio Mathematica

Similarity:

Notation systems and recursive ordered fields

Yiannis N. Moschovakis (1965-1966)

Compositio Mathematica

Similarity:

Deduction-preserving "Recursive Isomorphisms" between theories

Marian Pour-El, Saul Kripke (1967)

Fundamenta Mathematicae

Similarity:

Extension pathology in regressive isols

Matthew J. Hassett (1973)

Compositio Mathematica

Similarity: