Lambda the Ultimate

Proof theory, modal logic & the mystery of cut-elimination.
Semantics of programming languages & philosophy of language.
Graph theory, graph rewriting & models of computation.