Bücher online kaufen
-
EbookSofort lieferbarCombinatory logic and lambda-calculus, originally devised in the 1920s, have since developed into...
-
BuchPrint on Demand
Combinatory logic and lambda-calculus, originally devised in the 1920s, have since developed into...
-
BuchPrint on Demand
Type theory is one of the most important tools in the design of higher-level programming language...
-
TaschenbuchPrint on Demand
Type theory is one of the most important tools in the design of higher-level programming language...
-
TaschenbuchPrint on Demand
This book constitutes the refereed proceedings of the Third International Conference on Typed Lam...
-
EbookNicht lieferbar
Combinatory logic and lambda-calculus, originally devised in the 1920s, have since developed into...
162,59 €EbookAlle Preise inkl. MwSt -
EbookNicht lieferbar
Type theory is one of the most important tools in the design of higher-level programming language...
163,11 €EbookAlle Preise inkl. MwSt
- 1