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.
Simply Typed Lambda Calculus
CHF 49.15
Auf Lager
SKU
Q8CFRLOKVOG
1 Verfügbar 
Geliefert zwischen Do., 29.01.2026 und Fr., 30.01.2026
Details
High Quality Content by WIKIPEDIA articles! The simply typed lambda calculus (lambda^to) is a typed interpretation of the lambda calculus with only one type constructor: to that builds function types. It is the canonical and simplest example of a typed lambda calculus. The simply typed lambda calculus was originally introduced by Alonzo Church in 1940 as an attempt to avoid paradoxical uses of the untyped lambda calculus, and it exhibits many desirable and interesting properties. The term simple type is also used to refer to extensions of the simply typed lambda calculus such as products, coproducts or natural numbers (System T) or even full recursion (like PCF). In contrast, systems which introduce polymorphic types (like System F) or dependent types (like the Logical Framework) are not considered simply typed. The former are still considered simple because the Church encodings of such structures can be done using only to and suitable type variables, while polymorphism and dependency cannot.
Weitere Informationen
- Allgemeine Informationen
- GTIN 09786131162770
- Editor Lambert M. Surhone, Miriam T. Timpledon, Susan F. Marseken
- EAN 9786131162770
- Format Fachbuch
- Titel Simply Typed Lambda Calculus
- Herausgeber Betascript Publishing
- Anzahl Seiten 104
- Genre Mathematik
Bewertungen
Schreiben Sie eine Bewertung
