Tag Archives: Master Thesis
The long and winding road… to a master thesis
From the very start of my thesis, the key idea was to find a lambda calculus with explicit substitutions, indexes, and all the good properties (I refer the reader to all previous posts). In particular, having in mind a recent work from Delia Kesner: A Theory of Explicit Substitutions with Safe and Full Composition (well, … more
Posted in Blogs
Tagged Lambda Calculus, Master Thesis
Making a thesis
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 post, full of strange symbols, I quit the idea. And then someone point … more
Posted in Blogs
Tagged Master Thesis