On the internal structures of inductive types

MaRDI QIDQ866215zbMATH OpenFDO

Authors Yuxi Fu

Publication date 20 February 2007

Published in Science in China. Series E (Search for Journal in Brave)

Mathematics Subject Classification ID

Recommendations

• Homotopy-initial algebras in type theory
• Semantics of constructions. II: The initial algebraic approach
• A general formulation of simultaneous inductive-recursive definitions in type theory
• scientific article; zbMATH DE number 2182487
• scientific article; zbMATH DE number 1342222

Cited in

(11)

• Total objects in inductively defined types
• On the number of types
• Refining inductive types
• When Is a Type Refinement an Inductive Type?
• Inductive Type Schemas as Functors
• Structural subtyping for inductive types with functorial equality rules
• scientific article; zbMATH DE number 1070622 (Why is no real title available?)
• On the Structure of Mizar Types
• Internal Parametricity for Cubical Type Theory
• Semantics of constructions. I: The traditional approach
• Builtin types viewed as inductive families

This page was built for publication: On the internal structures of inductive types

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q866215)