Browse
FAQ

Author

Zhaohui Luo

8 books found

Cover of Formal Semantics in Modern Type Theories

Formal Semantics in Modern Type Theories

Stergios Chatzikyriakidis, Zhaohui Luo · First published 2020

Cover of Modern Perspectives in Type-Theoretical Semantics

Modern Perspectives in Type-Theoretical Semantics

Stergios Chatzikyriakidis, Zhaohui Luo · First published 2017

Cover of Types for proofs and programs

Types for proofs and programs

Paul Callaghan, Zhaohui Luo, James McKinna, Robert Pollack · First published 2002

Cover of Fu nong yu xin fu nong

Fu nong yu xin fu nong

Zhaohui Luo · First published 2010

Cover of Computation and reasoning

Computation and reasoning

Zhaohui Luo · First published 1994

Placeholder cover for A higher-order calculus and theory abstraction

A higher-order calculus and theory abstraction

Zhaohui Luo · First published 1988

Placeholder cover for CC and its meta theory

CC and its meta theory

Zhaohui Luo · First published 1988

Placeholder cover for Dong fang fo jiao wen hua

Dong fang fo jiao wen hua

Zhaohui Luo · First published 1986