Structural Induction and Coinduction in a Fibrational Setting

Abstract

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

Topics

Figures and Tables

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

Statistics

051015'00'02'04'06'08'10'12'14'16'18
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.