Proof theory and computer programming

Ruy J. G. B. de Queiroz & Thomas S. E. Maibaum

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

Abstract

This article has no associated abstract. (fix it)

Cite

Plain text

BibTeX

Formatted text

Reference Manager

RefWorks

Options

Mark as duplicate

Find it on Scholar

Request removal from index

Revision history

Categories

Areas of Mathematics in Philosophy of Mathematics

Keywords

Reprint years

DOI

10.1002/malq.19900360505

Other Versions

reprint

de Queiroz, Ruy J. G. B.; Maibaum, Thomas S. E. (1990) "Proof theory and computer programming". Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 36(5):389-414

Links

PhilArchive

Upload a copy of this work Papers currently archived: 99,484

External links

From the Publisher via CrossRef (no proxy)

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Sign in / register and customize your OpenURL resolver
Configure custom resolver

My notes

Sign in to use this feature

Similar books and articles

Proof theory and computer programming.Ruy J. B. de Queiroz & Thomas Maibaum - 1990 - Mathematical Logic Quarterly 36 (5):389-414.

Logic of Computation.Helmut Schwichtenberg - 1997 - Boom Koninklijke Uitgevers.

Book Review: R. J. G. B. de Queiroz, A. G. de Oliveira, D. M. Gabbay, The Functional Interpretation of Logical Deduction. [REVIEW]Adrian Rezuş - 2015 - Studia Logica 103 (2):447-451.

Logic for Problem Solving.Donald W. Loveland - 1979 - Ediciones Díaz de Santos.

Lectures on the Logic of Computer Programming.Zohar Manna - 1983 - Journal of Symbolic Logic 48 (1):213-214.

The Logic of Programming.Eric C. R. Hehner - 1984 - Prentice-Hall.

Review: A. G. Dragalin, E. Mendelson, Mathematical Intuitionism. Introduction to Proof Theory. [REVIEW]A. S. Troelstra - 1990 - Journal of Symbolic Logic 55 (3):1308-1309.

Foundations of Logic Programming.J. W. Lloyd - 1987 - Journal of Symbolic Logic 52 (1):288-289.

Interpolation and Definability: Modal and Intuitionistic Logics.Dov M. Gabbay & Larisa Maksimova - 2005 - Oxford, England: Oxford University Press UK.

Analytics

Added to PP
2013-12-01

Downloads
28 (#672,152)

6 months
5 (#898,127)

Historical graph of downloads

How can I increase my downloads?

Citations of this work

Extending the Curry-Howard interpretation to linear, relevant and other resource logics.Dov M. Gabbay & Ruy J. G. B. de Queiroz - 1992 - Journal of Symbolic Logic 57 (4):1319-1365.

On reduction rules, meaning-as-use, and proof-theoretic semantics.Ruy J. G. B. de Queiroz - 2008 - Studia Logica 90 (2):211-247.

From Tractatus to Later Writings and Back – New Implications from Wittgenstein’s Nachlass.Ruy J. G. B. de Queiroz - 2023 - SATS 24 (2):167-203.

Add more citations

References found in this work

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.

A Proof‐Theoretic Account of Programming and the Role of Reduction Rules.Ruy J. G. B. De Queiroz - 1988 - Dialectica 42 (4):265-282.

Per Martin-Löf. Intuitionistic type theory. Studies in proof theory. Bibliopolis, Naples1984, ix + 91 pp. [REVIEW]W. A. Howard - 1986 - Journal of Symbolic Logic 51 (4):1075-1076.

Add more references