What's a subset? That's easy: if we have two sets A and B, A is a subset of B if every member of A is also a member of B.…
Interpreting Lambda Calculus using Closed Cartesian Categories
Today I'm going to show you the basic idea behind the equivalency of closed cartesian categories and typed lambda calculus. I'll do that by showing you how the λ-theory of…
Obama Campaign Lies with Bad Math
This post is a bit of a change of pace for me. As you all know, when it comes to politics, I'm a hardcore lefty liberal type. And lots of…