Models and theories of lambda calculus (2009)

(inria.hal.science)

5 points | by sargstuff 10 hours ago ago