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$]$

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.