Models and theories of lambda calculus (2009) #1 Post by sargstuff » Wed, Jul 29, 2026, 9:21 PM UTC Models and theories of lambda calculus (2009)inria.hal.science