Hardcover Book
Show unavailable items

Releases by Luo, Zhaohui (Lecturer / Research Fellow, Department of Computer Science, Lecturer / Research Fellow, Department of Computer Science, JCMB, Edinburgh)

March 31, 1994

Cover for Luo, Zhaohui (Lecturer / Research Fellow, Department of Computer Science, Lecturer / Research Fellow, Department of Computer Science, JCMB, Edinburgh) · Computation and Reasoning: A Type Theory for Computer Science - International Series of Monographs on Computer Science (Hardcover Book) (1994)
Hardcover Book
Computation and Reasoning: A Typ...
Luo, Zhaohui (Lecturer / Researc...