Models and theories of lambda calculus (2009)inria.hal.science5 points·sargstuff··0 commentsOpen articleSaveView on HN