Del 36 - Oxford Logic Guides

Twenty Five Years of Constructive Type Theory

Inbunden, Engelska, 1998

AvGiovanni Sambin,Jan M. Smith,Italy) Sambin, Giovanni (Professor of Mathematical Logic, Professor of Mathematical Logic, University of Padua,Sweden) Smith, Jan M. (Professor, Department of Computing Science, Professor, Department of Computing Science, Chalmers University of Technology,Jan Smith

1 589 kr

Beställningsvara. Skickas inom 5-8 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.

Per Martin-Löf's work on the development of constructive type theory has been of huge significance in the fields of logic and the foundations of mathematics. It is also of broader philosophical significance, and has important applications in areas such as computing science and linguistics. This volume draws together contributions from researchers whose work builds on the theory developed by Martin-Löf over the last twenty-five years. As well as celebrating the anniversary of the birth of the subject it covers many of the diverse fields which are now influenced by type theory. It is an invaluable record of areas of current activity, but also contains contributions from N. G. de Bruijn and William Tait, both important figures in the early development of the subject. Also published for the first time is one of Per Martin-Löf's earliest papers.

Produktinformation

Utgivningsdatum1998-10-15
Mått161 x 242 x 20 mm
Vikt588 g
FormatInbunden
SpråkEngelska
SerieOxford Logic Guides
Antal sidor292
FörlagClarendon Press
ISBN9780198501275

Tillhör följande kategorier

1. Yet another constructivization of classical logic ; 2. Extension of Martin-Lof's type theory with record types ; 3. Type-theoretical checking and philosophy of mathematics ; 4. The Hahn-Banach theorem in type theory ; 5. A realizability interpretation of Martin-Lof's type theory ; 6. The groupoid interpretation of type theory ; 7. An intuitionistic theory of types ; 8. Analytic program derivation in type theory ; 9. About storage operators ; 10. On universes in type theory ; 11. How to believe a machine-checked proof ; 12. Building up a toolbox for Martin-Lof's type theory: subset theory ; 13. An introduction to well-ordering proofs in Martin-Lof's type theory ; 14. Variable-free formalization of the Curry-Howard theory ; 15. The forget-restore principle: a paradigmatic example

Mer från samma författare

Positive Topology

Giovanni Sambin

Inbunden

2 049 kr

Mer från samma serie

Consequence Relations

Alex Citkin, Alexei Muravitsky, New York) Citkin, Alex (CIO, CIO, Metropolitan Telecommunications, Louisiana Scholars' College at Northwestern State University of Louisiana) Muravitsky, Alexei (Professor of Mathematics, Professor of Mathematics

Inbunden

1 609 kr

Fragments of First-Order Logic

Ian Pratt-Hartmann, University of Opole) Pratt-Hartmann, Ian (Senior Lecturer, University of Manchester Professor of Mathematical Sciences, University of Opole, Senior Lecturer, University of Manchester Professor of Mathematical Sciences

Inbunden

2 309 kr

Del 24

Introduction to Logic and to the Methodology of Deductive Sciences

Alfred Tarski, The late Alfred Tarski, Jan Tarski

Inbunden

2 159 kr

Del 19

Gödel's Incompleteness Theorems

Raymond M. Smullyan, USA) Smullyan, Raymond M. (Professor, City College, Professor, City College, City University of New York

Inbunden

4 289 kr

Del 22

Recursion Theory for Metamathematics

Raymond M. Smullyan, Indiana University) Smullyan, Raymond M. (Professor of Philosophy, Professor of Philosophy

Inbunden

2 859 kr

Del 42

Change, Choice and Inference

Hans Rott, Germany) Rott, Hans (, Professor of Philosophy, University of Regensburg

Inbunden

3 139 kr

Del 38

Fibring Logics

Dov M. Gabbay, London) Gabbay, Dov M. (Professor of Computer Science, Professor of Computer Science, King's College

Inbunden

1 979 kr

Del 39

Elements of Intuitionism

Michael Dummett, University of Oxford) Dummett, Michael (Emeritus Professor of Philosophy, Emeritus Professor of Philosophy

Inbunden

4 669 kr

Del 46

Interpolation and Definability

Dov M. Gabbay, Larisa Maksimova, King's College London) Gabbay, Dov M. (, Department of Computer Science, Russia) Maksimova, Larisa (, Institute of Mathematics, Siberian Branch of Russian Academy of Science, Novosibirsk

Inbunden

3 619 kr

Del 21

Elementary Categories, Elementary Toposes

McLarty, Colin McLarty

Häftad

2 119 kr

Du kanske också är intresserad av

Del 21

Elementary Categories, Elementary Toposes

McLarty, Colin McLarty

Häftad

2 119 kr

Del 30

Features and Fluents

Erik Sandewall, Sweden) Sandewall, Erik (Professor, Department of Computer and Information Science, Professor, Department of Computer and Information Science, Linkoping University

Inbunden

1 909 kr