Structural Induction and Coinduction in a Fibrational Setting


We present a categorical logic formulation of induction and coinduction principles for reasoning about inductively and coin-ductively deened types. Our main results provide suucient criteria for the validity of such principles: in the presence of comprehension, the induction principle for initial algebras is admissible, and dually, in the presence of… (More)
DOI: 10.1006/inco.1998.2725


Figures and Tables

Sorry, we couldn't extract any figures or tables for this paper.


Citations per Year

165 Citations

Semantic Scholar estimates that this publication has 165 citations based on the available data.

See our FAQ for additional information.