STORE
search
⌘K
Explore
Salon
Quotes
Lists
Reviews
Writings
—
Changelog
About
Contact
Privacy
Donate
Zhaohui Luo | lit.salon
Zhaohui Luo
No bio available.
Add one in Open Library.
Books by Zhaohui Luo (50 max)
+ shelf
+ list
Formal Semantics in Modern Type Theories
2020
Stergios Chatzikyriakidis, Zhaohui Luo
+ shelf
+ list
Dong fang fo jiao wen hua
1986
Zhaohui Luo
+ shelf
+ list
Types for Proofs and Programs: International Workshop, TYPES 2000, Durham, UK, December 8-12, 2000. Selected Papers (Lecture Notes in Computer Science)
2002
Paul Callaghan, Zhaohui Luo, James McKinna, Robert Pollack
+ shelf
+ list
Modern Perspectives in Type-Theoretical Semantics
2017
Stergios Chatzikyriakidis, Zhaohui Luo
+ shelf
+ list
CC and its meta theory.
1988
Zhaohui Luo
+ shelf
+ list
A higher-order calculus and theory abstraction.
1988
Zhaohui Luo
+ shelf
+ list
Computation and reasoning: a type theory for computer science
1994
Zhaohui Luo
+ shelf
+ list
Types for Proofs and Programs International Workshop, TYPES 2000, Durham, UK, December 8-12, 2000. Selected Papers
2014
Paul Callaghan, Zhaohui Luo, James McKinna
