๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

Strict combinators

โœ Scribed by Silvio Romero de Lemos Meira

Book ID
113163069
Publisher
Elsevier Science
Year
1987
Tongue
English
Weight
322 KB
Volume
24
Category
Article
ISSN
0020-0190

No coin nor oath required. For personal study only.

๐Ÿ“œ SIMILAR VOLUMES

Interaction Combinators
Interaction Combinators
โœ Yves Lafont ๐Ÿ“‚ Article ๐Ÿ“… 1997 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 542 KB
Algebras and combinators
Algebras and combinators
โœ Erwin Engeler ๐Ÿ“‚ Article ๐Ÿ“… 1981 ๐Ÿ› Springer ๐ŸŒ English โš– 130 KB
Spaces with combinators
Spaces with combinators
โœ N. Georgieva ๐Ÿ“‚ Article ๐Ÿ“… 1993 ๐Ÿ› Springer ๐ŸŒ English โš– 673 KB
On principal types of combinators
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