Models and theories of lambda calculus (2009)
By sargstuff · 2026-07-29 · 3 points · 0 comments
http://inria.hal.science/inria-00380183v1/document
By sargstuff · 3 points · 0 comments · on Hacker News, read on BetterNews.
Open the full discussion on BetterNews