Zhaohui Luo in nLab
Selected writings
On type theory in computer science (via the calculus of constructions):
- Zhaohui Luo, Computation and Reasoning – A Type Theory for Computer Science, Clarendon Press (1994) [[ISBN:9780198538356, pdf]]
Related entries
category: people
Last revised on January 3, 2023 at 00:45:39. See the history of this page for a list of all contributions to it.