Tag

Lambda Calculus

2 posts

• Operational Semantics: Adding Variables, Functions and Conditionals , Feb 14, 2025
• A Beginner's Guide to Functional Programming with OCaml , Jan 15, 2025

← All tags