✦ LIBER ✦

Algebras and combinators

✍ Scribed by Erwin Engeler

Book ID: 112760217
Publisher: Springer
Year: 1981
Tongue: English
Weight: 130 KB
Volume: 13
Category: Article
ISSN: 0002-5240
DOI: 10.1007/bf02483849

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Strict combinators

✍ Silvio Romero de Lemos Meira 📂 Article 📅 1987 🏛 Elsevier Science 🌐 English ⚖ 322 KB

Interaction Combinators

✍ Yves Lafont 📂 Article 📅 1997 🏛 Elsevier Science 🌐 English ⚖ 542 KB

Spaces with combinators

✍ N. Georgieva 📂 Article 📅 1993 🏛 Springer 🌐 English ⚖ 673 KB

Introduction to combinators and λ-calcul

Introduction to combinators and λ-calculus

📂 Article 📅 1990 🏛 Springer Netherlands 🌐 English ⚖ 118 KB

Combinational Convexity and Algebraic Ge

Combinational Convexity and Algebraic Geometry

📂 Article 📅 1997 🏛 Elsevier Science 🌐 English ⚖ 211 KB

On principal types of combinators

✍ Sabine Broda; Luı́s Damas 📂 Article 📅 2000 🏛 Elsevier Science 🌐 English ⚖ 125 KB

In this paper we study (in some cases) the relationship between the combinatory completeness of a set of typable combinators, with simple types, for a system of -calculus and the axiomatic completeness, under substitution and modus ponens, of the respective set of principal types for the correspondi