DOI10.1093/jigpal/jzi039zbMath1083.68022OpenAlexW2111748048MaRDI QIDQ5716209
Martin Dostál
Publication date: 18 January 2006 Published in: Logic Journal of the IGPL (Search for Journal in Brave) Full work available at URL: https://doi.org/10.1093/jigpal/jzi039
zbMATH Keywords
lambda calculusautomatic programminghigher-order functions
Mathematics Subject Classification ID
Functional programming and lambda calculus (68N18)