Types in logic, mathematics and programming

In Samuel R. Buss (ed.), Bulletin of Symbolic Logic. 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: 91,322

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 (#342,925)

6 months
1 (#1,520,257)

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