Systematic synthesis of λ-terms (2007)

by P Koopman, R Plasmeijer
Venue:Reflections on Type Theory, λCalculus, and the Mind - Essays dedicated to Henk Barendregt on the Occasion of his 60th Birthdayy