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.
Typed Lambda Calculus
CHF 56.10
Auf Lager
SKU
53LGCHS5UA4
1 Verfügbar 
Geliefert zwischen Fr., 13.02.2026 und Mo., 16.02.2026
Details
High Quality Content by WIKIPEDIA articles! A typed lambda calculus is a typed formalism that uses the lambda-symbol ( ) to denote anonymous function abstraction. In this context, types are usually objects of a syntactic nature that are assigned to lambda terms; the exact nature of a type depends on the calculus considered (see kinds below). From a certain point of view, typed lambda calculi can be seen as refinements of the untyped lambda calculus but from another point of view, they can also be considered the more fundamental theory and untyped lambda calculus a special case with only one type.
Weitere Informationen
- Allgemeine Informationen
- GTIN 09786131151804
- Editor Lambert M. Surhone, Miriam T. Timpledon, Susan F. Marseken
- EAN 9786131151804
- Format Fachbuch
- Titel Typed Lambda Calculus
- Herausgeber Betascript Publishing
- Anzahl Seiten 140
- Genre Mathematik
Bewertungen
Schreiben Sie eine Bewertung
