Computation and Reasoning: A Type Theory for Computer Science

Clarendon Press (1994)
  Copy   BIBTEX

Abstract

Here, the author, develops a type theory, studies its properties, and explains its uses in applications to computer science. In particular, type theory is shown to offer a powerful and uniform language for programming, program specification and development, and logical reasoning.

Categories

Add categories

Keywords

Reprint years

ISBN(s)

9780198538356   0198538359
View all bargains

Buy this book

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

Computation, among other things, is beneath us.Selmer Bringsjord - 1994 - Minds and Machines 4 (4):469-88.
Quantum mechanics and computation.Bart D’Hooghe & Jaroslaw Pykacz - 2004 - Foundations of Science 9 (4):387-404.
Miscomputation.Nir Fresco & Giuseppe Primiero - 2013 - Philosophy and Technology 26 (3):253-272.
Reasoning about partial functions with the aid of a computer.William M. Farmer - 1995 - Erkenntnis 43 (3):279 - 294.
Gurari Eitan. An introduction to the theory of computation. Principles of computer science series. Computer Science Press, Rockville, Md., 1989, xii + 314 pp. [REVIEW]William I. Gasarch - 1991 - Journal of Symbolic Logic 56 (1):338-339.
Defending the semantic conception of computation in cognitive science.Gerard O'Brien - 2011 - Journal of Cognitive Science 12 (4):381-99.
Logic and computation: interactive proof with Cambridge LCF.Lawrence C. Paulson - 1987 - New York: Cambridge University Press.
Form and Content in Computer Science.Marvin Minsky - unknown
Parallel architectures and mental computation.Andrew Wells - 1993 - British Journal for the Philosophy of Science 44 (3):531-542.
Constructivism and Computation: Can Computer-Based Modeling Add to the Case for Constructivism?M. Füllsack - 2013 - Constructivist Foundations 9 (1):7-16.
Objective Computation Versus Subjective Computation.Nir Fresco - 2015 - Erkenntnis 80 (5):1031-1053.
McCarthy John. A basis for a mathematical theory of computation, preliminary report. Proceedings of the Western Joint Computer Conference, Papers presented at the Joint IRE-AIEE-ACM Computer Conference, Los Angeles, Calif., May 9–11, 1961, Western Joint Computer Conference, 1961, pp. 225–238.McCarthy John. A basis for a mathematical theory of computation. Computer programming and formal systems, edited by Braffort P. and Hirschberg D., Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam 1963, pp. 33–70. [REVIEW]Martin Davis - 1968 - Journal of Symbolic Logic 33 (1):117-117.
Neural-Symbolic Cognitive Reasoning.Artur D'Avila Garcez, Luis Lamb & Dov Gabbay - 2009 - New York: Springer.
Toward Analog Neural Computation.Corey J. Maley - 2018 - Minds and Machines 28 (1):77-91.
Computation in cognitive science: it is not all about Turing-equivalent computation.Kenneth Aizawa - 2010 - Studies in History and Philosophy of Science Part A 41 (3):227-236.

Analytics

Added to PP
2020-09-03

Downloads
19 (#778,470)

6 months
2 (#1,232,442)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Formal semantics in modern type theories with coercive subtyping.Zhaohui Luo - 2012 - Linguistics and Philosophy 35 (6):491-513.
Natural Language Inference in Coq.Stergios Chatzikyriakidis & Zhaohui Luo - 2014 - Journal of Logic, Language and Information 23 (4):441-480.

View all 7 citations / Add more citations

References found in this work

No references found.

Add more references