scientific article
From MaRDI portal
Publication:3982064
zbMath0751.03006MaRDI QIDQ3982064
Publication date: 26 June 1992
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
Easy lambda-terms are not always simple, Graph easy sets of mute lambda terms, On the Jacopini technique, Infinite \(\lambda\)-calculus and types, Simple Easy Terms, Some new results on easy lambda-terms
