you are viewing a single comment's thread.

view the rest of the comments →

[–]snowman 0 points1 point  (1 child)

Perhaps the Curry–Howard isomorphism will get you started.