✦ LIBER ✦

An Algebraic View on Recursive Types

✍ Scribed by Michael Marz

Book ID: 110264669
Publisher: Springer
Year: 1999
Tongue: English
Weight: 95 KB
Volume: 7
Category: Article
ISSN: 0927-2852
DOI: 10.1023/a:1008648420750

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Recursive Data Types in Algebraically ω-

Recursive Data Types in Algebraically ω-Complete Categories

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

Safe recursion with higher types and BCK

Safe recursion with higher types and BCK-algebra

✍ Martin Hofmann 📂 Article 📅 2000 🏛 Elsevier Science 🌐 English ⚖ 314 KB

In previous work the author has introduced a lambda calculus SLR with modal and linear types which serves as an extension of Bellantoni-Cook's function algebra BC to higher types. It is a step towards a functional programming language in which all programs run in polynomial time. In this paper we de

On Resemblance and Recursive Isomorphism

On Resemblance and Recursive Isomorphism Types of Partial Recursive Functions

✍ E.A. Polyakov 📂 Article 📅 2001 🏛 SP MAIK Nauka/Interperiodica 🌐 English ⚖ 129 KB

An algebraic view of bacterial genome ev

An algebraic view of bacterial genome evolution

✍ Francis, Andrew R. 📂 Article 📅 2013 🏛 Springer 🌐 English ⚖ 819 KB

On the Algebraic Structure of Primitive

On the Algebraic Structure of Primitive Recursive Functions

✍ István Szalkai 📂 Article 📅 1985 🏛 John Wiley and Sons 🌐 English ⚖ 349 KB

On the resemblance and recursive isomorp

On the resemblance and recursive isomorphism types of partial recursive functions

✍ N. V. Litvinov 📂 Article 📅 2000 🏛 SP MAIK Nauka/Interperiodica 🌐 English ⚖ 178 KB