-
-
-
-
Typed Lambda Calculi and Applications
EbookSofort lieferbarThis book constitutes the refereed proceedings ...
-
The Logic of Typed Feature Structures
TaschenbuchPrint on DemandThis book develops the theory of typed feature ...
-
Theoretical Foundations of VLSI Design
TaschenbuchPrint on DemandThis book discusses recent research in the theo...
-
Typed Lambda Calculi and Applications
TaschenbuchPrint on DemandThis book constitutes the refereed proceedings ...
-
The Optimal Implementation of Functional Programming Languages
BuchPrint on DemandFirst account of the subject by two of its lead...
-
Extensions of First-Order Logic
TaschenbuchPrint on DemandClassical logic has proved inadequate in variou...
-
Logic and Computation
TaschenbuchPrint on DemandLogic and Computation is concerned with techniq...
-
Category Theory and Computer Science
TaschenbuchPrint on DemandThe papers in this volume were presented at the...
-
Category Theory and Computer Programming
TaschenbuchPrint on DemandCategories.- Elements of categorical reasoning ...
- 1
- 2
Folgen Sie uns auf:
