REGULAR SYSTEMS OF EQUATIONS IN λ-CALCULUS

DOI10.1142/S0129054190000230zbMath0758.03011MaRDI QIDQ3978457

Adolfo Piperno, Enrico Tronci

Publication date: 25 June 1992

Published in: International Journal of Foundations of Computer Science (Search for Journal in Brave)

zbMATH Keywords

functional programminglambda-calculusdecidable classcombinatory equations

Mathematics Subject Classification ID

Theory of programming languages (68N15) Decidability of theories and sets of sentences (03B25) General topics in the theory of software (68N01) Combinatory logic and lambda calculus (03B40)

Related Items (4)

Equational programming in \(\lambda\)-calculus via SL-systems. Part 1 ⋮ Equational programming in \(\lambda\)-calculus via SL-systems. Part 2 ⋮ An algebraic view of the Böhm-out technique ⋮ An analysis of Böhm's theorem

This page was built for publication: REGULAR SYSTEMS OF EQUATIONS IN λ-CALCULUS