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

Cached

Download Links

by Peter Dybjer
Venue:Journal of Symbolic Logic
Citations:65 - 10 self

Document Versions

A General Formulation of Simultaneous Inductive-Recursive Definitions in Type Theory –Peter Dybjer — 1998 — Journal of Symbolic Logic