Zhaohui Luo

Zhaohui Luo is the author of "Formal Semantics in Modern Type Theories", "Modern Perspectives in Type-Theoretical Semantics" and "Types for Proofs and Programs".

Books by Zhaohui Luo

Formal Semantics ...
Chatzikyriakidis, S...
Digital download:

Formal Semantics ...
Chatzikyriakidis, S...
Digital online: $177.95

Types for Proofs ...
Callaghan Paul
Paperback:

Types for Proofs ...
Callaghan Paul
Paperback: $54.99