Models and theories of lambda calculus (2009)

5 points | by sargstuff 12 hours ago