A General Formulation of Simultaneous Inductive-Recursive Definitions in Type Theory (1998)

Cached

Download Links

by Peter Dybjer
Venue:Journal of Symbolic Logic
Citations:66 - 9 self