scientific article

From MaRDI portal

Revision as of 18:23, 5 February 2024 by Import240129110113 (talk | contribs) (Created automatically from import240129110113)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Publication:3869319

Jump to:navigation, search

zbMath0432.03010MaRDI QIDQ3869319

Marisa Venturini Zilli, G. Jacopini

Publication date: 1978

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

zbMATH Keywords

added equalities closed recurrent term

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40)

Related Items (5)

Easy lambda-terms are not always simple ⋮ On the Jacopini technique ⋮ Infinite \(\lambda\)-calculus and types ⋮ Reduction graphs in the lambda calculus ⋮ Some new results on easy lambda-terms

This page was built for publication:

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:3869319&oldid=17492234"