David Templin's Blog
GhostA mathematics and computer science blog with rigorous, formal write-ups on the lambda calculus, coinductive characterisations of lambda terms, and countability proofs. Readers get worked proofs and clear explanations of theoretical foundations.