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 Inhabitation
CHF 43.30
Auf Lager
SKU
TSBNQ7V5QNF
1 Verfügbar 
Geliefert zwischen Fr., 16.01.2026 und Mo., 19.01.2026
Details
High Quality Content by WIKIPEDIA articles! In type theory, a branch of mathematical logic, in a given typed calculus. In the case of simply typed lambda calculus, a type has an inhabitant if and only if its corresponding proposition is a tautology of minimal implicative logic. Similarly, a System F type has an inhabitant if and only if its corresponding proposition is a tautology of second-order logic. For most typed calculus, the type inhabitation problem is very hard. Richard Statman proved that for simply typed lambda calculus the type inhabitation problem is PSPACE-complete. For other calculi, like System F, the problem is even undecidable.
Weitere Informationen
- Allgemeine Informationen
- GTIN 09786131151637
- Editor Lambert M. Surhone, Miriam T. Timpledon, Susan F. Marseken
- EAN 9786131151637
- Format Fachbuch
- Titel Type Inhabitation
- Herausgeber Betascript Publishing
- Anzahl Seiten 88
- Genre Mathematik
Bewertungen
Schreiben Sie eine Bewertung
