Kamareddine / Laan / Nederpelt | A Modern Perspective on Type Theory | E-Book | www.sack.de
E-Book

E-Book, Englisch, Band 29, 360 Seiten

Reihe: Applied Logic Series

Kamareddine / Laan / Nederpelt A Modern Perspective on Type Theory

From its Origins until Today
1. Auflage 2006
ISBN: 978-1-4020-2335-4
Verlag: Springer Netherlands
Format: PDF
 Kopierschutz: 1 - PDF Watermark

From its Origins until Today

E-Book, Englisch, Band 29, 360 Seiten

Reihe: Applied Logic Series

ISBN: 978-1-4020-2335-4
Verlag: Springer Netherlands
Format: PDF
 Kopierschutz: 1 - PDF Watermark

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.

Kamareddine / Laan / Nederpelt A Modern Perspective on Type Theory jetzt bestellen!

Autoren/Hrsg.

Kamareddine, F. D.
Laan, T.
Nederpelt, Rob
Ihre Fragen, Wünsche oder Anmerkungen
Vorname*
Nachname*
Ihre E-Mail-Adresse*
Kundennr.
Ihre Nachricht*
Lediglich mit * gekennzeichnete Felder sind Pflichtfelder.
Wenn Sie die im Kontaktformular eingegebenen Daten durch Klick auf den nachfolgenden Button übersenden, erklären Sie sich damit einverstanden, dass wir Ihr Angaben für die Beantwortung Ihrer Anfrage verwenden. Selbstverständlich werden Ihre Daten vertraulich behandelt und nicht an Dritte weitergegeben. Sie können der Verwendung Ihrer Daten jederzeit widersprechen. Das Datenhandling bei Sack Fachmedien erklären wir Ihnen in unserer Datenschutzerklärung.