Publication:3877673
From MaRDI portal
zbMath0437.03025MaRDI QIDQ3877673
Publication date: 1976
68Q65: Abstract data types; algebraic specification
03D99: Computability and recursion theory
03B40: Combinatory logic and lambda calculus