Propositions in logic correspond to types in a programming language.

Proofs in the logic correspond to terms and programs in the programming language

Simplification of proofs corresponds to evaluation of programs.

Strange Loop Conference | "Propositions as Types" by Philip Wadler

Filed under:

• 10.09 Software-engineering
• 80.10 Formal-Logic
• November-20-2023
• Edit