Lambda the Ultimate

I'm that annoying "isomorphism guy".

programming language theory, functional programming, Haskell, type theory, category theory, foundations of computation, combinatorial species