zbMath0312.68007MaRDI QIDQ4070302
Elfriede Fehr
Publication date: 1975
Mathematics Subject Classification ID
68N01: General topics in the theory of software
03B40: Combinatory logic and lambda calculus
Related Items