Programming in the λ-Calculus: From Church to Scott and Back

DOI10.1007/978-3-642-40355-2_12zbMath1405.68060OpenAlexW144693796WikidataQ56067753 ScholiaQ56067753MaRDI QIDQ5410454

Could not fetch data.

Publication date: 16 April 2014

Published in: (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-40355-2_12

Mathematics Subject Classification ID

Could not fetch data.