Books by Zhaohui Luo
No products found matching the selection.
-20%
Computation and Reasoning - A Type Theory for Computer Science
€178.92
€223.65
-20% with code BOOKS
In stock at our supplier
-20%
Formal Semantics in Modern Type Theories
Zhaohui Luo, Stergios Chatzikyriakidis
€255.80
€319.75
-20% with code BOOKS
In stock at our supplier