Zhaohui Luo

Identifiers

Open LibraryOL722784A

Top Subjects

Buddhism (1)
Computer science. (1)

Books by Zhaohui Luo

Total count: 8

Dong fang fo jiao wen huaDi 1 ban

Shanxi sheng xin hua shu dian fa xing1986-01-01
CC and its meta theory.

University of Edinburgh, Laboratory for Foundations of Computer Science1988-01-01
A higher-order calculus and theory abstraction.

University of Edinburgh, Laboratory for Foundations ofComputer Science1988-01-01
Computation and reasoninga type theory for computer science

Clarendon Press1994-01-01
Types for Proofs and ProgramsInternational Workshop, TYPES 2000, Durham, UK, December 8-12, 2000. Selected Papers

Springer London, Limited2003-01-01
Types for Proofs and ProgramsInternational Workshop, TYPES 2000, Durham, UK, December 8-12, 2000. Selected Papers

Springer2014-03-12
Modern Perspectives in Type-Theoretical Semantics

Springer2017-02-09
Formal Semantics in Modern Type Theories

Wiley & Sons, Incorporated, John2020-01-01