Proof theory and computer programming

&
Mathematical Logic Quarterly 36 (5):389-414 (1990)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1002/malq.19900360505

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,628

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

Goal-directed proof theory.Dov M. Gabbay - 2000 - Boston: Kluwer Academic. Edited by Nicola Olivetti.
Handbook of proof theory.Samuel R. Buss (ed.) - 1998 - New York: Elsevier.
Linear logic in computer science.Thomas Ehrhard (ed.) - 2004 - New York: Cambridge University Press.
Proof theory: a selection of papers from the Leeds Proof Theory Programme, 1990.Peter Aczel, Harold Simmons & Stanley S. Wainer (eds.) - 1992 - New York: Cambridge University Press.
A proof-theoretic framework for logic programming.Gerhard Jäger & Robert F. Stärk - 1998 - In Samuel R. Buss (ed.), Bulletin of Symbolic Logic. Elsevier. pp. 639--682.
Abpl.Mike Ainsworth - 1993 - Acta Biotheoretica 41 (1-2):43-51.
Basic proof theory.A. S. Troelstra - 1996 - New York: Cambridge University Press. Edited by Helmut Schwichtenberg.
Computability theory, semantics, and logic programming.Melvin Fitting - 1987 - Oxford: Clarendon Press.
Domains and lambda-calculi.Roberto M. Amadio - 1998 - New York: Cambridge University Press. Edited by P.-L. Curien.
YAQ: a 360 assembler version of the algorithm Aq and comparison with other PL/I programs.Edward Yalow - 1977 - Urbana: Department of Computer Science, University of Illinois at Urbana-Champaign.
The differential method and the causal incompleteness of programming theory in molecular biology.Giuseppe Longo & Pierre-Emmanuel Tendero - 2007 - Foundations of Science 12 (4):337-366.
A Proof‐Theoretic Account of Programming and the Role of Reduction Rules.Ruy J. G. B. De Queiroz - 1988 - Dialectica 42 (4):265-282.
The Role Of Models In Computer Science.James H. Fetzer - 1999 - The Monist 82 (1):20-36.
Computability and Complexity: From a Programming Perspective Vol. 21.N. D. Jones - 1997 - MIT Press.

Analytics

Added to PP
2013-12-01

Downloads
23 (#678,283)

6 months
4 (#775,606)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Add more citations

References found in this work

Remarks on the foundations of mathematics.Ludwig Wittgenstein - 1956 - Oxford [Eng.]: Blackwell. Edited by G. E. M. Anscombe, Rush Rhees & G. H. von Wright.
The Runabout Inference-Ticket.A. N. Prior - 1960 - Analysis 21 (2):38-39.
Foundations of Constructive Analysis.John Myhill - 1972 - Journal of Symbolic Logic 37 (4):744-747.

Add more references