Posts tagged with "Curry-Howard correspondence"

• Giving a Talk on Propositions as Types
• Typed Functional Programming and Software Correctness
• Wadler on Invented Programming Languages
• Types and Proofs