DOI10.1017/S0956796802004367zbMath1103.68433MaRDI QIDQ4460721
Ralf Hinze
Publication date: 29 March 2004 Published in: Journal of Functional Programming (Search for Journal in Brave)
Mathematics Subject Classification ID
68N15: Theory of programming languages
68N18: Functional programming and lambda calculus