Human Folly about “Curry-Howard”

index

• Curry Howard (disi.unitn.it):

  #pdf #ebook from Sørensen and Urzyczyn on the #Curry-Howard isomorphism, covering Barendregt’s λ-cube, among other things. #toread

  on 02016-06-01
• Propositions as types (homepages.inf.ed.ac.uk):

  Wadler explains the #Curry-Howard isomorphism, with a #logic #tutorial into the bargain #formalmethods

  on 02015-08-05