Curry-Howard-Lambek and the Isomorphism

Comments

via adamshaylor@users.lobste.rs (adamshaylor)