Sold Out
Book Categories |
An Introduction to Dependent Type Theory | 1 | |
Monads and Effects | 42 | |
Abstract Machines, Control, and Sequents | 123 | |
Normalization and Partial Evaluation | 137 | |
Computing with Real Numbers | 193 | |
The Join Calculus: A Language for Distributed Mobile Programming | 268 | |
An Introduction to Functional Nets | 333 | |
Operational Semantics and Program Equivalence | 378 | |
Using, Understanding, and Unraveling the OCaml Language | 413 | |
Author Index | 537 |
Login|Complaints|Blog|Games|Digital Media|Souls|Obituary|Contact Us|FAQ
CAN'T FIND WHAT YOU'RE LOOKING FOR? CLICK HERE!!! X
You must be logged in to add to WishlistX
This item is in your Wish ListX
This item is in your CollectionApplied Semantics
X
This Item is in Your InventoryApplied Semantics
X
You must be logged in to review the productsX
X
X
Add Applied Semantics, , Applied Semantics to the inventory that you are selling on WonderClubX
X
Add Applied Semantics, , Applied Semantics to your collection on WonderClub |