✦ LIBER ✦

Interaction Combinators

✍ Scribed by Yves Lafont

Book ID: 112252284
Publisher: Elsevier Science
Year: 1997
Tongue: English
Weight: 542 KB
Volume: 137
Category: Article
ISSN: 0890-5401
DOI: 10.1006/inco.1997.2643

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Encoding Linear Logic with Interaction C

Encoding Linear Logic with Interaction Combinators

✍ Ian Mackie; Jorge Sousa Pinto 📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 417 KB

Strict combinators

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

Algebras and combinators

✍ Erwin Engeler 📂 Article 📅 1981 🏛 Springer 🌐 English ⚖ 130 KB

Spaces with combinators

✍ N. Georgieva 📂 Article 📅 1993 🏛 Springer 🌐 English ⚖ 673 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

Service combinators for Web computing

✍ Cardelli, L.; Davies, R. 📂 Article 📅 1999 🏛 IEEE 🌐 English ⚖ 159 KB