User:Gregorio Piccoli/Books/ProofsAsPrograms

From Wikipedia, the free encyclopedia
Jump to: navigation, search

Please select an appropriate cover image for this book. See "Template:Saved book" for instructions."
This user book is a user-generated collection of Wikipedia articles that can be easily saved, rendered electronically, and ordered as a printed book. If you are the creator of this book and need help, see Help:Books (general tips) and WikiProject Wikipedia-Books (questions and assistance).

Edit this book: Book Creator · Wikitext
Select format to download:

PDF (A4) · PDF (Letter)

Order a printed copy from these publishers: PediaPress
About ] [ Advanced ] [ FAQ ] [ Feedback ] [ Help ] [ WikiProject ] Recent Changes ]

Proofs as programs[edit]

The Curry-Howard correspondence[edit]

Curry–Howard correspondence
Proof theory
Ordinal analysis
Formal proof
Formal language
Formal grammar
Formation rule
Formal system
Formal semantics (logic)
Interpretation (logic)
Hilbert system
Natural deduction
Sequent calculus
Structural proof theory
Proof-theoretic semantics
Logical harmony
Method of analytic tableaux
Substructural logic
Intuitionistic type theory