Proofs as Efficient Programs

&
In Giovanna Corsi & Rossella Lupacchini (eds.), Deduction, Computation, Experiment. Exploring the Effectiveness of Proof. Springer (2008)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,705

External links

  • This entry has no external links. Add one.
Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Proofs are Programs: 19th Century Logic and 21st Century Computing.Philip Wadler - manuscript
Proofs and programs.Giuseppe Longo - 2003 - Synthese 134 (1-2):85 - 117.
Probabilistic proofs and transferability.Kenny Easwaran - 2009 - Philosophia Mathematica 17 (3):341-362.
Completeness Proofs for Some Logics of Programs.Bogdan S. Chlebus - 1982 - Mathematical Logic Quarterly 28 (4‐7):49-62.
6th Conference on Computability in Europe "Programs, Proofs, Processes".Fernando Ferreira - 2011 - Bulletin of Symbolic Logic 17 (3):478-479.
Programs from proofs using classical dependent choice.Monika Seisenberger - 2008 - Annals of Pure and Applied Logic 153 (1-3):97-110.
Review: John McCarthy, Computer Programs for Checking Mathematical Proofs. [REVIEW]J. A. Robinson - 1967 - Journal of Symbolic Logic 32 (4):523-523.
Imperative programs as proofs via game semantics.Martin Churchill, Jim Laird & Guy McCusker - 2013 - Annals of Pure and Applied Logic 164 (11):1038-1078.
The Limits of Mathematics.Lisp Source Code - unknown
The Depth of Resolution Proofs.Alasdair Urquhart - 2011 - Studia Logica 99 (1-3):349-364.
System ST toward a type system for extraction and proofs of programs.Christophe Raffalli - 2003 - Annals of Pure and Applied Logic 122 (1-3):107-130.
Ethics programs and their dimensions.Steven N. Brenner - 1992 - Journal of Business Ethics 11 (5-6):391-399.
Hypothetical Logic of Proofs.Eduardo Bonelli & Gabriela Steren - 2014 - Logica Universalis 8 (1):103-140.

Analytics

Added to PP
2014-01-26

Downloads
0

6 months
0

Historical graph of downloads

Sorry, there are not enough data points to plot this chart.
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references