Trending News

A survey of models and theories of lambda calculus, originally published in 2009

A foundational 2009 survey of lambda calculus models provides a deep dive into denotational semantics, offering a technical baseline for modern functional programming theory.