✦ LIBER ✦

Pre-recursive categories

✍ Scribed by Marie-France Thibault

Book ID: 103234609
Publisher: Elsevier Science
Year: 1982
Tongue: English
Weight: 850 KB
Volume: 24
Category: Article
ISSN: 0022-4049
DOI: 10.1016/0022-4049(82)90060-3

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A category of partial recursive function

A category of partial recursive functions

✍ A. N. Degtev 📂 Article 📅 1981 🏛 SP MAIK Nauka/Interperiodica 🌐 English ⚖ 558 KB

Dominical Categories: Recursion Theory w

Dominical Categories: Recursion Theory without Elements

✍ Robert A. Di Paola and Alex Heller 📂 Article 📅 1987 🏛 Association for Symbolic Logic 🌐 English ⚖ 836 KB

Density and Baire category in recursive

Density and Baire category in recursive topology

✍ Iraj Kalantari; Larry Welch 📂 Article 📅 2004 🏛 John Wiley and Sons 🌐 English ⚖ 178 KB

## Abstract We develop the concepts of recursively nowhere dense sets and sets that are recursively of first category and study closed sets of points in light of Baire's Category Theorem. Our theorems are primarily concerned with exdomains (i. e. complements of domains) of recursive quantum functio

Recursive Data Types in Algebraically ω-

Recursive Data Types in Algebraically ω-Complete Categories

✍ J. Adamek 📂 Article 📅 1995 🏛 Elsevier Science 🌐 English ⚖ 682 KB

REDUCIBILITY IN SOME CATEGORIES OF PARTI

REDUCIBILITY IN SOME CATEGORIES OF PARTIAL RECURSIVE OPERATORS

✍ Caterina Bianchini; Andrea Sorbi 📂 Article 📅 1992 🏛 John Wiley and Sons 🌐 English ⚖ 609 KB

## Abstract We consider two categories with one object, namely the set of all partial functions of one variable from the set of natural numbers into itself; the morphisms are the partial recursive operators in one case, and certain continuous partial mappings in the other case. We show that these c

The category-theoretic solution of recur

The category-theoretic solution of recursive program schemes

✍ Stefan Milius; Lawrence S. Moss 📂 Article 📅 2006 🏛 Elsevier Science 🌐 English ⚖ 709 KB