Wir verwenden Cookies und Analyse-Tools, um die Nutzerfreundlichkeit der Internet-Seite zu verbessern und für Marketingzwecke. Wenn Sie fortfahren, diese Seite zu verwenden, nehmen wir an, dass Sie damit einverstanden sind. Zur Datenschutzerklärung.
Type Theory
CHF 49.40
Auf Lager
SKU
22KDPG2LLSD
1 Verfügbar 
Geliefert zwischen Fr., 23.01.2026 und Mo., 26.01.2026
Details
Please note that the content of this book primarily consists of articles available from Wikipedia or other free sources online. In mathematics, logic and computer science, type theory is any of several formal systems that can serve as alternatives to naive set theory, or the study of such formalisms in general. In programming language theory, a branch of computer science, type theory can refer to the design, analysis and study of type systems, although some computer scientists limit the term''s meaning to the study of abstract formalisms such as typed -calculi.
Klappentext
High Quality Content by WIKIPEDIA articles! In mathematics, logic and computer science, type theory is any of several formal systems that can serve as alternatives to naive set theory, or the study of such formalisms in general. In programming language theory, a branch of computer science, type theory can refer to the design, analysis and study of type systems, although some computer scientists limit the term's meaning to the study of abstract formalisms such as typed -calculi.
Weitere Informationen
- Allgemeine Informationen
- GTIN 09786130317805
- Editor Lambert M. Surhone, Miriam T. Timpledon, Susan F. Marseken
- Sprache Englisch
- Größe H220mm x B7mm x T150mm
- Jahr 2009
- EAN 9786130317805
- Format Kartonierter Einband
- ISBN 978-613-0-31780-5
- Titel Type Theory
- Untertitel Simply Typed Lambda Calculus, Type Polymorphism, Dependent Type, Curry-Howard Correspondence, Type System
- Gewicht 172g
- Herausgeber Betascript Publishers
- Anzahl Seiten 116
- Genre Mathematik
Bewertungen
Schreiben Sie eine Bewertung
