Internal Normalization, Compilation and Decompilation for System ${\mathcal F}_{\beta\eta}$
From MaRDI portal
Publication:3558340
DOI10.1007/978-3-642-12251-4_16zbMath1284.68124OpenAlexW1595542822MaRDI QIDQ3558340
Stefano Berardi, Makoto Tatsuta
Publication date: 4 May 2010
Published in: Functional and Logic Programming (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-12251-4_16
Functional programming and lambda calculus (68N18) Logic in computer science (03B70) Combinatory logic and lambda calculus (03B40)
This page was built for publication: Internal Normalization, Compilation and Decompilation for System ${\mathcal F}_{\beta\eta}$
