j roger hindley
Lambda-Calculus and Combinators
EbookSofort lieferbarCombinatory logic and lambda-calculus, originally devised in the 1920s, have since developed into...
Lambda-Calculus and Combinators
BuchBezug 11-15Combinatory logic and lambda-calculus, originally devised in the 1920s, have since developed into...
Basic Simple Type Theory
BuchBezug 11-15Type theory is one of the most important tools in the design of higher-level programming language...
Basic Simple Type Theory
TaschenbuchBezug 11-15Type theory is one of the most important tools in the design of higher-level programming language...
Typed Lambda Calculi and Applications
TaschenbuchBezug 11-15This book constitutes the refereed proceedings of the Third International Conference on Typed Lam...
- 1