Introducing the notion of inductive-recursive types:

- Peter Dybjer, Anton Setzer,
*Indexed induction-recursion*, in*Proof Theory in Computer Science*PTCS 2001. Lecture Notes in Computer Science**2183**Springer (2001) [doi:10.1007/3-540-45504-3_7, pdf]

category: people

Last revised on January 3, 2023 at 00:13:07. See the history of this page for a list of all contributions to it.