New posts in Lambda Calculus

Visualize Church numerals

Optimizing SKI compiler

Function "evaluation" just means "composition"?

How can types represent both sets and propositions in Lambda calculus?

In rewiring systems do definitions creates new rewrite laws or an alias? And is this a meaningful question?

Can all mathematical operations be encoded with a Turing Complete language?

Problem with a basic lemma in Lambda Calculus

Why isn't lambda notation popular among mathematicians?

The "functions" of untyped lambda calculus are not (set theoretic) functions so what are they?

Relation between Cartesian closed category and Lambda Calculus