scientific article

zbMath0574.03005MaRDI QIDQ3691635

G. Jacopini, Marisa Venturini Zilli

Publication date: 1985

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40)

Related Items

Easy lambda-terms are not always simple, Graph easy sets of mute lambda terms, On the Jacopini technique, Collapsing partial combinatory algebras, Infinite \(\lambda\)-calculus and types, Simple Easy Terms, From computation to foundations via functions and application: The \(\lambda\)-calculus and its webbed models, Some new results on easy lambda-terms