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.
System F
CHF 49.05
Auf Lager
SKU
8CRU8H7EF7J
1 Verfügbar 
Geliefert zwischen Fr., 30.01.2026 und Mo., 02.02.2026
Details
High Quality Content by WIKIPEDIA articles! System F, also known as the (Girard-Reynolds) polymorphic lambda calculus or the second-order lambda calculus, is a typed lambda calculus that differs from the simply typed lambda calculus by the introduction of a mechanism of universal quantification over types. System F thus formalizes the notion of parametric polymorphism in programming languages, and forms a theoretical basis for languages such as Haskell and ML. System F was discovered independently by the logician Jean-Yves Girard and the computer scientist John C. Reynolds. Whereas simply typed lambda calculus has variables ranging over functions, and binders for them, System F additionally has variables ranging over types, and binders for them.
Weitere Informationen
- Allgemeine Informationen
- GTIN 09786131241871
- Editor Lambert M. Surhone, Mariam T. Tennoe, Susan F. Henssonow
- EAN 9786131241871
- Format Fachbuch
- Titel System F
- Herausgeber Betascript Publishing
- Anzahl Seiten 104
- Genre Mathematik
Bewertungen
Schreiben Sie eine Bewertung
