Proofs and programs

Synthese 134 (1-2):85 - 117 (2003)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Add categories

Keywords

Reprint years

2004

DOI

10.1023/a:1022135614184

Links

PhilArchive



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

External links

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

Programs and logics.Anita Wasilewska - 1985 - Studia Logica 44 (2):125 - 137.
Probabilistic proofs and transferability.Kenny Easwaran - 2009 - Philosophia Mathematica 17 (3):341-362.
Ethics programs and their dimensions.Steven N. Brenner - 1992 - Journal of Business Ethics 11 (5-6):391-399.
The Limits of Mathematics.Lisp Source Code - unknown
Machine learning of higher-order programs.Ganesh Baliga, John Case, Sanjay Jain & Mandayam Suraj - 1994 - Journal of Symbolic Logic 59 (2):486-500.
Twelve definitions of a stable model.Vladimir Lifschitz - unknown
The role of diagrams in mathematical arguments.David Sherry - 2008 - Foundations of Science 14 (1-2):59-74.
Lower Bounds for cutting planes proofs with small coefficients.Maria Bonet, Toniann Pitassi & Ran Raz - 1997 - Journal of Symbolic Logic 62 (3):708-728.
Proofs are Programs: 19th Century Logic and 21st Century Computing.Philip Wadler - manuscript

Analytics

Added to PP
2009-01-28

Downloads
45 (#361,636)

6 months
2 (#1,248,257)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Giuseppe Longo
École Normale Supérieure

Citations of this work

Add more citations

References found in this work

The Calculi of Lambda-conversion.Alonzo Church - 1985 - Princeton, NJ, USA: Princeton University Press.
Proofs and types.Jean-Yves Girard - 1989 - New York: Cambridge University Press.
A Machine-Oriented Logic based on the Resolution Principle.J. A. Robinson - 1966 - Journal of Symbolic Logic 31 (3):515-516.
The |lambda-Calculus.H. P. Barendregt - 1981 - Philosophical Review 97 (1):132-137.

View all 11 references / Add more references