When I was still a PhD student, under the supervision of Paul Vitányi , I thought of doing a thesis on the game of connect-4 . Instead, I ended up working on distributed computing problems, and many other topics in my PhD research, which resulted in this thesis .
Visit tromp.github.io → On Hacker News Mar 2015 – Feb 2026
Math & Algorithms 6Software Engineering 2Programming Languages 2Games & Graphics 2
The following table shows diagrams of identity, the booleans, some standard combinators, some Church numerals, the predecessor function on Church numerals, and Omega. term definition diagram alternative I/1 λx.x K/true λx.λy.x false/0 λx.λy.y S λx.λy.λz.(x z)(y z) Y λf.(λx.x x)(λx.f(x x)) 2 λf.λx.f(f x) 3 λf.λx.f(f(f…
Binary lambda calculus ( BLC ) is a minimal, pure functional programming language invented by John Tromp in 2004, 1 based on a binary encoding of the untyped lambda calculus in De Bruijn index notation.