Skip to content

Home Practice Lessons About

Zhaohui Luo

Books

Types for Proofs and Programs
Formal Semantics in Modern Type Theories
CC and its meta theory
Dong fang fo jiao wen hua
Types for proofs and programs
A higher-order calculus and theory abstraction
Modern Perspectives in Type-Theoretical Semantics
Computation and reasoning

Author data: Open Library

Book Glossary · bookglossary.comA nonprofit resource from Dover Public Library and the Tuscarawas County Literacy Coalition.