Artículos relacionados a A Modern Perspective on Type Theory: From its Origins...

A Modern Perspective on Type Theory: From its Origins until Today: 29 (Applied Logic Series) - Tapa dura

 
9781402023347: A Modern Perspective on Type Theory: From its Origins until Today: 29 (Applied Logic Series)

Sinopsis

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 role of propositions as types (or proofs as terms. The third part proposes new systems that bring more advantages together.

"Sinopsis" puede pertenecer a otra edición de este libro.

Críticas

"This book has evolved from a number of projects by the authors ... into aspects of the evolution of calculus and type theory in Logic, Mathematics and Computation. ... The crown of this collaboration is this very rich and well written book ... . This book not only gives a nice and concise overview ... but also a mathematically precise and faithful reconstruction of the different type theories ... . I expect the book will be a major work of reference ... ." H.C.M. De Swart, Journal of Logic, Language and Information, Vol. 15, 2006

Reseña del editor

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 role of propositions as types (or proofs as terms. The third part proposes new systems that bring more advantages together.

"Sobre este título" puede pertenecer a otra edición de este libro.

Comprar usado

Condición: Como Nuevo
Unread book in perfect condition...
Ver este artículo

EUR 2,25 gastos de envío en Estados Unidos de America

Destinos, gastos y plazos de envío

Comprar nuevo

Ver este artículo

EUR 5,92 gastos de envío en Estados Unidos de America

Destinos, gastos y plazos de envío

Otras ediciones populares con el mismo título

9789048166398: A Modern Perspective on Type Theory: From its Origins until Today: 29 (Applied Logic Series)

Edición Destacada

ISBN 10:  904816639X ISBN 13:  9789048166398
Editorial: Springer, 2010
Tapa blanda

Resultados de la búsqueda para A Modern Perspective on Type Theory: From its Origins...

Imagen de archivo

Kamareddine, F.D.; Laan, T.; Nederpelt, Rob
Publicado por Springer, 2004
ISBN 10: 1402023340 ISBN 13: 9781402023347
Nuevo Tapa dura

Librería: BennettBooksLtd, San Diego, NV, Estados Unidos de America

Calificación del vendedor: 5 de 5 estrellas Valoración 5 estrellas, Más información sobre las valoraciones de los vendedores

Hardcover. Condición: New. In shrink wrap. Looks like an interesting title! Nº de ref. del artículo: Q-1402023340

Contactar al vendedor

Comprar nuevo

EUR 122,74
Convertir moneda
Gastos de envío: EUR 5,92
A Estados Unidos de America
Destinos, gastos y plazos de envío

Cantidad disponible: 1 disponibles

Añadir al carrito

Imagen de archivo

Kamareddine, F.D.; Laan, T.; Nederpelt, Rob
Publicado por Springer, 2004
ISBN 10: 1402023340 ISBN 13: 9781402023347
Nuevo Tapa dura

Librería: Best Price, Torrance, CA, Estados Unidos de America

Calificación del vendedor: 5 de 5 estrellas Valoración 5 estrellas, Más información sobre las valoraciones de los vendedores

Condición: New. SUPER FAST SHIPPING. Nº de ref. del artículo: 9781402023347

Contactar al vendedor

Comprar nuevo

EUR 174,26
Convertir moneda
Gastos de envío: EUR 7,65
A Estados Unidos de America
Destinos, gastos y plazos de envío

Cantidad disponible: 2 disponibles

Añadir al carrito

Imagen de archivo

Kamareddine, F.D.; Laan, T.; Nederpelt, Rob
Publicado por Springer, 2004
ISBN 10: 1402023340 ISBN 13: 9781402023347
Nuevo Tapa dura

Librería: Lucky's Textbooks, Dallas, TX, Estados Unidos de America

Calificación del vendedor: 5 de 5 estrellas Valoración 5 estrellas, Más información sobre las valoraciones de los vendedores

Condición: New. Nº de ref. del artículo: ABLIING23Mar2411530142358

Contactar al vendedor

Comprar nuevo

EUR 184,31
Convertir moneda
Gastos de envío: EUR 3,40
A Estados Unidos de America
Destinos, gastos y plazos de envío

Cantidad disponible: Más de 20 disponibles

Añadir al carrito

Imagen del vendedor

Kamareddine, Fairouz D.; Laan, Twan; Nederpelt, R. P.
Publicado por Springer, 2004
ISBN 10: 1402023340 ISBN 13: 9781402023347
Nuevo Tapa dura

Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America

Calificación del vendedor: 5 de 5 estrellas Valoración 5 estrellas, Más información sobre las valoraciones de los vendedores

Condición: New. Nº de ref. del artículo: 3151887-n

Contactar al vendedor

Comprar nuevo

EUR 185,49
Convertir moneda
Gastos de envío: EUR 2,25
A Estados Unidos de America
Destinos, gastos y plazos de envío

Cantidad disponible: 15 disponibles

Añadir al carrito

Imagen de archivo

Kamareddine, F.D.; Laan, T.; Nederpelt, Rob
Publicado por Springer, 2004
ISBN 10: 1402023340 ISBN 13: 9781402023347
Nuevo Tapa dura

Librería: Ria Christie Collections, Uxbridge, Reino Unido

Calificación del vendedor: 5 de 5 estrellas Valoración 5 estrellas, Más información sobre las valoraciones de los vendedores

Condición: New. In. Nº de ref. del artículo: ria9781402023347_new

Contactar al vendedor

Comprar nuevo

EUR 193,65
Convertir moneda
Gastos de envío: EUR 13,72
De Reino Unido a Estados Unidos de America
Destinos, gastos y plazos de envío

Cantidad disponible: Más de 20 disponibles

Añadir al carrito

Imagen de archivo

F.D. Kamareddine
ISBN 10: 1402023340 ISBN 13: 9781402023347
Nuevo Tapa dura

Librería: Grand Eagle Retail, Mason, OH, Estados Unidos de America

Calificación del vendedor: 5 de 5 estrellas Valoración 5 estrellas, Más información sobre las valoraciones de los vendedores

Hardcover. Condición: new. Hardcover. '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: 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 Provides an overview of type theory. This title places historical systems in the modern setting. It deals with modern type theory as it developed since the 1940s, and with the role of propositions as types or proofs as terms. It proposes systems that bring more advantages together. Shipping may be from multiple locations in the US or from the UK, depending on stock availability. Nº de ref. del artículo: 9781402023347

Contactar al vendedor

Comprar nuevo

EUR 211,07
Convertir moneda
Gastos de envío: GRATIS
A Estados Unidos de America
Destinos, gastos y plazos de envío

Cantidad disponible: 1 disponibles

Añadir al carrito

Imagen del vendedor

F.D. Kamareddine|T. Laan|Rob Nederpelt
Publicado por Springer Netherlands, 2004
ISBN 10: 1402023340 ISBN 13: 9781402023347
Nuevo Tapa dura
Impresión bajo demanda

Librería: moluna, Greven, Alemania

Calificación del vendedor: 4 de 5 estrellas Valoración 4 estrellas, Más información sobre las valoraciones de los vendedores

Condición: 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 ref. del artículo: 4092973

Contactar al vendedor

Comprar nuevo

EUR 162,51
Convertir moneda
Gastos de envío: EUR 48,99
De Alemania a Estados Unidos de America
Destinos, gastos y plazos de envío

Cantidad disponible: Más de 20 disponibles

Añadir al carrito

Imagen del vendedor

F. D. Kamareddine
Publicado por Springer Netherlands Jun 2004, 2004
ISBN 10: 1402023340 ISBN 13: 9781402023347
Nuevo Buch
Impresión bajo demanda

Librería: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Alemania

Calificación del vendedor: 5 de 5 estrellas Valoración 5 estrellas, Más información sobre las valoraciones de los vendedores

Buch. Condición: 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 ref. del artículo: 9781402023347

Contactar al vendedor

Comprar nuevo

EUR 192,59
Convertir moneda
Gastos de envío: EUR 23,00
De Alemania a Estados Unidos de America
Destinos, gastos y plazos de envío

Cantidad disponible: 2 disponibles

Añadir al carrito

Imagen del vendedor

Kamareddine, Fairouz D.; Laan, Twan; Nederpelt, R. P.
Publicado por Springer, 2004
ISBN 10: 1402023340 ISBN 13: 9781402023347
Antiguo o usado Tapa dura

Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America

Calificación del vendedor: 5 de 5 estrellas Valoración 5 estrellas, Más información sobre las valoraciones de los vendedores

Condición: As New. Unread book in perfect condition. Nº de ref. del artículo: 3151887

Contactar al vendedor

Comprar usado

EUR 218,70
Convertir moneda
Gastos de envío: EUR 2,25
A Estados Unidos de America
Destinos, gastos y plazos de envío

Cantidad disponible: 15 disponibles

Añadir al carrito

Imagen del vendedor

F. D. Kamareddine
ISBN 10: 1402023340 ISBN 13: 9781402023347
Nuevo Buch

Librería: buchversandmimpf2000, Emtmannsberg, BAYE, Alemania

Calificación del vendedor: 5 de 5 estrellas Valoración 5 estrellas, Más información sobre las valoraciones de los vendedores

Buch. Condición: 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 ref. del artículo: 9781402023347

Contactar al vendedor

Comprar nuevo

EUR 192,59
Convertir moneda
Gastos de envío: EUR 60,00
De Alemania a Estados Unidos de America
Destinos, gastos y plazos de envío

Cantidad disponible: 2 disponibles

Añadir al carrito

Existen otras 7 copia(s) de este libro

Ver todos los resultados de su búsqueda