Posts tagged with "propositions as types"

• Interactive Theorem Proving
• Giving a Talk on Propositions as Types
• Typed Functional Programming and Software Correctness