Back

David Templin's Blog

Ghost
davidtemplin.name· irregular· Published 2 days ago

A 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.

lambda calculusscott encodingchurch encodingapplicative bisimilaritycantor zigzagcountable setsdenotational semanticscpofunctional programmingproofscoinductionpairing function
Platform
Ghost
Frequency
Irregular
Latest issue
Oct 21, 2026
Language
English
Written for
Students and researchers in theoretical computer science and mathematics
Tone
academic
Tracked since
Oct 22, 2026

Website: https://www.davidtemplin.name/