bookmark

The Curry-Howard isomorphism and the duality of → and × @ The dreams that stuff is made of

http://luqui.org/blog/archives/2008/07/13/ch-isomorphism-duality/

Please log in to take part in the discussion (add own reviews or comments).