On inductive types:

- Robert L. Constable, N. Paul Francis Mendler,
*Recursive definitions in type theory*, in*Logic of Programs 1985*, Lecture Notes in Computer Science**193**Springer (1985) $[$doi:10.1007/3-540-15648-8_5$]$

On type theory in mathematics and computer science:

- Robert Constable,
*The Triumph of Types: Creating a Logic of Computational Reality*, lecture at*Types, Semantics and Verification*, Oregon (2011) [pdf, pdf]

category: people

Last revised on January 17, 2023 at 12:24:28. See the history of this page for a list of all contributions to it.