scientific article; zbMATH DE number 4123701
From MaRDI portal
Publication:4204131
zbMath0686.03009MaRDI QIDQ4204131
Adolfo Piperno, Corrado Böhm, Enrico Tronci
Publication date: 1989
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
combinatory logicdiscriminabilityequation systems\(\lambda \) - calculusone-side invertibilityseparability of termssolvability problem for equations
Related Items (3)
Equational programming in \(\lambda\)-calculus via SL-systems. Part 1 ⋮ Equational programming in \(\lambda\)-calculus via SL-systems. Part 2 ⋮ An analysis of Böhm's theorem
This page was built for publication: