scientific article
From MaRDI portal
Publication:3869319
zbMath0432.03010MaRDI QIDQ3869319
Marisa Venturini Zilli, G. Jacopini
Publication date: 1978
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
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
