Publication:4010370
From MaRDI portal
zbMath0756.03010MaRDI QIDQ4010370
Publication date: 27 September 1992
combinatory logic; binary languages; normal varieties of combinators; order-zero solutions to normal equations; solvable combinators
03B40: Combinatory logic and lambda calculus
Related Items