Articles liés à A Modern Perspective On Type Theory: From Its Origins...
Synopsis
`Towards the end of the nineteenth century, Frege gave us the abstraction principles and the general notion of functions. Self-application of functions was at the heart of Russell's paradox. This led Russell to introduce type theory in order to avoid the paradox. Since, the twentieth century has seen an amazing number of theories concerned with types and functions and many applications. Progress in computer science also meant more and more emphasis on the use of logic, types and functions to study the syntax, semantics, design and implementation of programming languages and theorem provers, and the correctness of proofs and programs. The authors of this book have themselves been leading the way by providing various extensions of type theory which have been shown to bring many advantages. This book gathers much of their influential work and is highly recommended for anyone interested in type theory. The main emphasis is on:
- Types: from Russell to Ramsey, to Church, to the modern Pure Type Systems and some of their extensions. - Functions: from Frege, to Russell to Church, to Automath and the use of functions in mathematics, programming languages and theorem provers. - The role of types in logic: Kripke's notion of truth, the evolution and role of the propositions as types concept and its use in logical frameworks. - The role of types in computation: extensions of type theories which can better model proof checkers and programming languages are given.The first part of the book is historical, yet at the same time, places historical systems (like Russell's RTT) in the modern setting. The second part deals with modern type theory as it developed since the 1940s, and with the role of propositions as types (or proofs as terms), but at the same time, places another historical system (the proof checker Automath) in the modern setting. The third part uses this bridging in the first two parts between historical and modern systems to propose new systems that bring more advantages together. This book has much to offer to mathematicians, logicians and to computer scientists in general. It will have considerable influence for many years to come.' - Henk Barendregt
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.
Acheter neuf
Afficher cet article
EUR 123,52
EUR 37,73 expédition depuis Etats-Unis vers France
Destinations, frais et délaisAutres éditions populaires du même titre
Résultats de recherche pour A Modern Perspective On Type Theory: From Its Origins...
Image d'archives
A Modern Perspective on Type Theory: From its Origins until Today (Applied Logic Series, 29)
Vendeur : BennettBooksLtd, North Las Vegas, NV, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Hardcover. Etat : New. In shrink wrap. Looks like an interesting title! N° de réf. du vendeur Q-1402023340
Quantité disponible : 1 disponible(s)
Image fournie par le vendeur
A Modern Perspective on Type Theory
Edité par
Springer Netherlands, 2004
ISBN 10 : 1402023340
ISBN 13 : 9781402023347
Neuf
Couverture rigide
Vendeur : moluna, Greven, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. This book provides an overview of type theory. The first part of the book is historical, yet at the same time, places historical systems in the modern setting. The second part deals with modern type theory as it developed since the 1940s, and with the ro. N° de réf. du vendeur 4092973
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
A Modern Perspective on Type Theory
Edité par
Springer Netherlands Jun 2004, 2004
ISBN 10 : 1402023340
ISBN 13 : 9781402023347
Neuf
Buch
Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Buch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -`Towards the end of the nineteenth century, Frege gave us the abstraction principles and the general notion of functions. Self-application of functions was at the heart of Russell's paradox. This led Russell to introduce type theory in order to avoid the paradox. Since, the twentieth century has seen an amazing number of theories concerned with types and functions and many applications. Progress in computer science also meant more and more emphasis on the use of logic, types and functions to study the syntax, semantics, design and implementation of programming languages and theorem provers, and the correctness of proofs and programs. The authors of this book have themselves been leading the way by providing various extensions of type theory which have been shown to bring many advantages. This book gathers much of their influential work and is highly recommended for anyone interested in type theory. The main emphasis is on:- Types: from Russell to Ramsey, to Church, to the modern Pure Type Systems and some of their extensions.- Functions: from Frege, to Russell to Church, to Automath and the use of functions in mathematics, programming languages and theorem provers.- The role of types in logic: Kripke's notion of truth, the evolution and role of the propositions as types concept and its use in logical frameworks.- The role of types in computation: extensions of type theories which can better model proof checkers and programming languages are given.The first part of the book is historical, yet at the same time, places historical systems (like Russell's RTT) in the modern setting. The second part deals with modern type theory as it developed since the 1940s, and with the role of propositions as types (or proofs as terms), but at the same time, places another historical system (the proof checker Automath) in the modern setting. The third part uses this bridging in the first two parts between historical and modern systems to propose new systems that bring more advantages together. This book has much to offer to mathematicians, logicians and to computer scientists in general. It will have considerable influence for many years to come.' - Henk Barendregt 380 pp. Englisch. N° de réf. du vendeur 9781402023347
Quantité disponible : 2 disponible(s)
Image d'archives
A Modern Perspective on Type Theory: From its Origins until Today (Applied Logic Series, 29)
Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. In. N° de réf. du vendeur ria9781402023347_new
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
A Modern Perspective on Type Theory
Edité par
Springer Netherlands, Springer Netherlands Jun 2004, 2004
ISBN 10 : 1402023340
ISBN 13 : 9781402023347
Neuf
Buch
Vendeur : buchversandmimpf2000, Emtmannsberg, BAYE, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Buch. Etat : Neu. Neuware -`Towards the end of the nineteenth century, Frege gave us the abstraction principles and the general notion of functions. Self-application of functions was at the heart of Russell's paradox. This led Russell to introduce type theory in order to avoid the paradox. Since, the twentieth century has seen an amazing number of theories concerned with types and functions and many applications. Progress in computer science also meant more and more emphasis on the use of logic, types and functions to study the syntax, semantics, design and implementation of programming languages and theorem provers, and the correctness of proofs and programs. The authors of this book have themselves been leading the way by providing various extensions of type theory which have been shown to bring many advantages. This book gathers much of their influential work and is highly recommended for anyone interested in type theory. The main emphasis is on: Types: from Russell to Ramsey, to Church, to the modern Pure Type Systems and some of their extensions. Functions: from Frege, to Russell to Church, to Automath and the use of functions in mathematics, programming languages and theorem provers. The role of types in logic: Kripke's notion of truth, the evolution and role of the propositions as types concept and its use in logical frameworks. The role of types in computation: extensions of type theories which can better model proof checkers and programming languages are given.The first part of the book is historical, yet at the same time, places historical systems (like Russell's RTT) in the modern setting. The second part deals with modern type theory as it developed since the 1940s, and with the role of propositions as types (or proofs as terms), but at the same time, places another historical system (the proof checker Automath) in the modern setting. The third part uses this bridging in the first two parts between historical and modern systems to propose new systems that bring more advantages together. This book has much to offer to mathematicians, logicians and to computer scientists in general. It will have considerable influence for many years to come.' - Henk BarendregtSpringer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 380 pp. Englisch. N° de réf. du vendeur 9781402023347
Quantité disponible : 2 disponible(s)
Image fournie par le vendeur
A Modern Perspective on Type Theory : From its Origins until Today
Edité par
Springer Netherlands, Springer Netherlands, 2004
ISBN 10 : 1402023340
ISBN 13 : 9781402023347
Neuf
Couverture rigide
Vendeur : AHA-BUCH GmbH, Einbeck, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Buch. Etat : Neu. Druck auf Anfrage Neuware - Printed after ordering - `Towards the end of the nineteenth century, Frege gave us the abstraction principles and the general notion of functions. Self-application of functions was at the heart of Russell's paradox. This led Russell to introduce type theory in order to avoid the paradox. Since, the twentieth century has seen an amazing number of theories concerned with types and functions and many applications. Progress in computer science also meant more and more emphasis on the use of logic, types and functions to study the syntax, semantics, design and implementation of programming languages and theorem provers, and the correctness of proofs and programs. The authors of this book have themselves been leading the way by providing various extensions of type theory which have been shown to bring many advantages. This book gathers much of their influential work and is highly recommended for anyone interested in type theory. The main emphasis is on:- Types: from Russell to Ramsey, to Church, to the modern Pure Type Systems and some of their extensions.- Functions: from Frege, to Russell to Church, to Automath and the use of functions in mathematics, programming languages and theorem provers.- The role of types in logic: Kripke's notion of truth, the evolution and role of the propositions as types concept and its use in logical frameworks.- The role of types in computation: extensions of type theories which can better model proof checkers and programming languages are given. The first part of the book is historical, yet at the same time, places historical systems (like Russell's RTT) in the modern setting. The second part deals with modern type theory as it developed since the 1940s, and with the role of propositions as types (or proofs as terms), but at the same time, places another historical system (the proof checker Automath) in the modern setting. The third part uses this bridging in the first two parts between historical and modern systems to propose new systems that bring more advantages together. This book has much to offer to mathematicians, logicians and to computer scientists in general. It will have considerable influence for many years to come.' - Henk Barendregt. N° de réf. du vendeur 9781402023347
Quantité disponible : 1 disponible(s)
Image d'archives
A Modern Perspective on Type Theory: From its Origins until Today (Applied Logic Series, 29)
Vendeur : Lucky's Textbooks, Dallas, TX, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. N° de réf. du vendeur ABLIING23Mar2411530142358
Quantité disponible : Plus de 20 disponibles
Image d'archives
A Modern Perspective on Type Theory
Vendeur : Books Puddle, New York, NY, Etats-Unis
Évaluation du vendeur 4 sur 5 étoiles
Etat : New. pp. 380. N° de réf. du vendeur 26323530
Quantité disponible : 4 disponible(s)
Image d'archives
A Modern Perspective on Type Theory: From its Origins until Today (Applied Logic Series)
Edité par
Springer, 2004
ISBN 10 : 1402023340
ISBN 13 : 9781402023347
Ancien ou d'occasion
Couverture rigide
Vendeur : Mispah books, Redhill, SURRE, Royaume-Uni
Évaluation du vendeur 4 sur 5 étoiles
Hardcover. Etat : Like New. Like New. book. N° de réf. du vendeur ERICA75814020233405
Quantité disponible : 1 disponible(s)
Image d'archives
A Modern Perspective on Type Theory
impression à la demandeVendeur : Majestic Books, Hounslow, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. Print on Demand pp. 380 52:B&W 6.14 x 9.21in or 234 x 156mm (Royal 8vo) Case Laminate on White w/Gloss Lam. N° de réf. du vendeur 7557141
Quantité disponible : 4 disponible(s)