Josh Beckman (www.joshbeckman.org) Subscribe 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. The program is a path to solving a proof - to proving a statement correct or incorrect. Josh Beckman Reference Notesformal-logic, software-engineering, types 'Propositions as Types' by Philip Wadler Strange Loop Conference 2023, November 20, Monday Permalink Edit Widgets Comments & Replies via email You can subscribe or follow or reply here: Network Graph Legend Keyboard Shortcuts Key Action o Source e Edit i Insight r Random h Home s or / Search Close www.joshbeckman.org/notes/629405755