DOI10.1017/S0956796822000028OpenAlexW4210693016MaRDI QIDQ5063250
Ralf Hinze, Colin Runciman
Publication date: 17 March 2022 Published in: Journal of Functional Programming (Search for Journal in Brave) Full work available at URL: https://doi.org/10.1017/s0956796822000028
Mathematics Subject Classification ID
Functional programming and lambda calculus (68N18)
Cites Work