๐”– Bobbio Scriptorium
โœฆ   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

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
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