The long and winding road... to a master thesis

Different properties one can expect from any λ-calculus

In all previous posts I've tried to teach the different aspects inside my thesis. But after going deeper and deeper, the concepts tend to complicate too much, and much more dedication from the reader is needed. After trying to add another technical...

Explicit Substitutions, or Substitutions If You Need to Implement Them

And now for something completely different