Structural subtyping for inductive types with functorial equality rules

Z. Luo, R. Adams

Research output: Contribution to journalArticlepeer-review

88 Downloads (Pure)
Original languageEnglish
Pages (from-to)931-972
Number of pages42
JournalMathematical Structures in Computer Science
Volume18
Issue number5
Early online date6 Oct 2008
DOIs
Publication statusPublished - 2008

Keywords

  • coercive subtyping
  • type theory
  • inductive types

Cite this