Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Peter Dybjer

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

Journal of Symbolic Logic

English