scientific article; zbMATH DE number 4123701

zbMath0686.03009MaRDI QIDQ4204131

Adolfo Piperno, Corrado Böhm, Enrico Tronci

Publication date: 1989

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

zbMATH Keywords

combinatory logicdiscriminabilityequation systems\(\lambda \) - calculusone-side invertibilityseparability of termssolvability problem for equations

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40)

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: