Publication:3894946
From MaRDI portal
zbMath0448.68003MaRDI QIDQ3894946
Publication date: 1980
lambda-calculus; fixed-point operators; control structures of programming languages; definability of functions and objects; type-free programming; typed concepts
68Q65: Abstract data types; algebraic specification
68N01: General topics in the theory of software
03B40: Combinatory logic and lambda calculus
Related Items