DMCA

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

Cached

Download Links

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