henk barendregt
Lambda Calculus with Types
EbookSofort lieferbarThis handbook with exercises reveals in formalisms, hitherto mainly used for hardware and softwar...
Lambda Calculus with Types
EbookSofort lieferbarThis handbook with exercises reveals in formalisms, hitherto mainly used for hardware and softwar...
The Lambda Calculus. Its Syntax and Semantics
TaschenbuchBezug 6-10The Lambda Calculus, treated in this book mainly in its untyped version, consists of a collection...
A Lambda Calculus Satellite
TaschenbuchBezug 6-10In 1936 the notion of intuitive computability was operationalized in two different ways: via Turi...
Lambda Calculus with Types
BuchBezug 11-15This handbook with exercises reveals the mathematical beauty of formalisms hitherto mostly used f...
Types for Proofs and Programs
TaschenbuchBezug 11-15This volume contains thoroughly refereed and revised full papers selected from the presentations ...
A Lambda Calculus Satellite
BuchBezug 11-15In 1936 the notion of intuitive computability was operationalized in two different ways: via Turi...
- 1