A denotational interpreter for a λ-calculus-based languagematt.might.net3 pointsColinWright15 years ago