zbMath0518.68026MaRDI QIDQ3667940
Jacek Leszczylowski
Publication date: 1981
zbMATH Keywords
functional programming; Edinburgh LCF
Mathematics Subject Classification ID
68Q65: Abstract data types; algebraic specification
68N01: General topics in the theory of software