Structural Induction and Coinduction in a Fibrational Setting

This publication has 23 references indexed in Scilit:

• A Coinduction Principle for Recursive Data Types Based on Bisimulation
  Information and Computation, 1996
• Fibrations with indeterminates: contextual and functional completeness for polymorphic lambda calculi
  Mathematical Structures in Computer Science, 1995
• Strong categorical datatypes II: A term logic for categorical programming
  Theoretical Computer Science, 1995
• PARAMETERS AND PARAMETRIZATION IN SPECIFICATION, USING DISTRIBUTIVE CATEGORIES
  Fundamenta Informaticae, 1995
• Semantics of weakening and contraction
  Annals of Pure and Applied Logic, 1994
• Comprehension categories and the semantics of type dependency
  Theoretical Computer Science, 1993
• Algebraically compact functors
  Journal of Pure and Applied Algebra, 1992
• New foundations for fixpoint computations: FIX-hyperdoctrines and the FIX-logic
  Information and Computation, 1992
• Solving reflexive domain equations in a category of complete metric spaces
  Journal of Computer and System Sciences, 1989
• Parametrized data types do not need highly constrained parameters
  Information and Control, 1982