Innovations in computational type theory using Nuprl

, , , , , &
Journal of Applied Logic 4 (4):428-469 (2006)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/j.jal.2005.10.005

Links

PhilArchive



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

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

A correspondence between Martin-löf type theory, the ramified theory of types and pure type systems.Fairouz Kamareddine & Twan Laan - 2001 - Journal of Logic, Language and Information 10 (3):375-402.
Intuitionistic completeness of first-order logic.Robert Constable & Mark Bickford - 2014 - Annals of Pure and Applied Logic 165 (1):164-198.
Implementing Mathematics with the Nuprl Proof Development System.R. L. Constable, S. F. Allen, H. M. Bromley, W. R. Cleaveland, J. F. Cremer & R. W. Harper - 1990 - Journal of Symbolic Logic 55 (3):1299-1302.
Confirmation and the computational paradigm (or: Why do you think they call itartificial intelligence?). [REVIEW]David J. Buller - 1993 - Minds and Machines 3 (2):155-181.
Confirmation and the computational paradigm, or, why do you think they call it artificial intelligence?David J. Buller - 1993 - Minds and Machines 3 (2):155-81.
Survey Article Democratic Innovations: Bringing Theory and Practice into Dialogue.Graham Smith - 2011 - Philosophy Compass 6 (12):895-901.
Propositions as [Types].Steve Awodey & Andrej Bauer - unknown
Computationalism and the locality principle.David Longinotti - 2009 - Minds and Machines 19 (4):495-506.
An Overview of Type Theories.Nino Guallart - 2015 - Axiomathes 25 (1):61-77.
Computational explanation in neuroscience.Gualtiero Piccinini - 2006 - Synthese 153 (3):343-353.
A theory of computational implementation.Michael Rescorla - 2014 - Synthese 191 (6):1277-1307.
Computational situation theory.Erkan Tin & Varol Akman - 1994 - ACM SIGART Bulletin 5 (4):4-17.
Type Inference in Mathematics.Jeremy Avigad - unknown
On the complexity of finding paths in a two‐dimensional domain I: Shortest paths.Arthur W. Chou & Ker-I. Ko - 2004 - Mathematical Logic Quarterly 50 (6):551-572.
Computational Theory of Mind.Marcin Milkowski - 2013 - Internet Encyclopedia of Philosophy.

Analytics

Added to PP
2016-06-30

Downloads
15 (#923,100)

6 months
4 (#790,687)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Higher-order Aspects and Context in SUMO.Christoph Benzmüller & Adam Pease - 2012 - Journal of Web Semantics 12:104-117.
Intuitionistic completeness of first-order logic.Robert Constable & Mark Bickford - 2014 - Annals of Pure and Applied Logic 165 (1):164-198.

Add more citations

References found in this work

Combinatory Logic, Volume I.Haskell B. Curry, Robert Feys & William Craig - 1959 - Philosophical Review 68 (4):548-550.

Add more references