Types in logic, mathematics and programming

In Samuel R. Buss (ed.), Handbook of proof theory. New York: Elsevier. pp. 137 (1998)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/420977

Links

PhilArchive



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

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

Review: Samuel R. Buss, Handbook of Proof Theory: Types in Logic, Mathematics and Programming. [REVIEW]Toshiyasu Arai - 2000 - Bulletin of Symbolic Logic 6 (4):476-477.
Constructive mathematics in theory and programming practice.Douglas Bridges & Steeve Reeves - 1999 - Philosophia Mathematica 7 (1):65-104.
Hybrid probabilistic logic programs as residuated logic programs.Carlos Viegas Damásio & Luís Moniz Pereira - 2002 - Studia Logica 72 (1):113 - 138.
Power types in explicit mathematics?Gerhard Jäger - 1997 - Journal of Symbolic Logic 62 (4):1142-1146.
Understanding programming languages.Raymond Turner - 2007 - Minds and Machines 17 (2):203-216.
Logic and programming.Richard Ennals & Jonathan Briggs - unknown
Types and Programming Languages.Frank Pfenning - 2004 - Bulletin of Symbolic Logic 10 (2):213-214.
Type Theory and Homotopy.Steve Awodey - unknown
Classical truth in higher types.Ulrich Berger - 2008 - Mathematical Logic Quarterly 54 (3):240-246.
Fixpoint Semantics for Logic Programming A Survey.Melvin Fitting - unknown

Analytics

Added to PP
2014-01-27

Downloads
45 (#354,779)

6 months
1 (#1,475,915)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Intuitionistic epistemic logic.Sergei Artemov & Tudor Protopopescu - 2016 - Review of Symbolic Logic 9 (2):266-298.
Typing in reflective combinatory logic.Nikolai Krupski - 2006 - Annals of Pure and Applied Logic 141 (1):243-256.

Add more citations

References found in this work

No references found.

Add more references