Topic: Lambda Calculus

• Beginner Resources for Formalizing Lambda Calculi - May 10, 2025
• Quasiquotation of the Untyped Lambda Calculus - May 9, 2024