Tag: lambda calculus

• The λ-calculus, 2: the Church-Rosser theorem (14 Oct 2024)
  
• Introduction to the λ-calculus (30 Sep 2024)
  
• Russell's Paradox: myth and fact (31 Jan 2024)
  
• Types versus sets (and what about categories?) (16 Mar 2022)