Structural subtyping for inductive types with functorial equality rules

Z. Luo, R. Adams

Research output: Contribution to journal › Article › peer-review

115 Downloads (Pure)

Original language	English
Pages (from-to)	931-972
Number of pages	42
Journal	Mathematical Structures in Computer Science
Volume	18
Issue number	5
Early online date	6 Oct 2008
DOIs	https://doi.org/10.1017/S0960129508006956
Publication status	Published - 2008

Keywords

@article{6d6bc114652d46efac1ee15924125bab,

title = "Structural subtyping for inductive types with functorial equality rules",

keywords = "coercive subtyping, type theory, inductive types",

author = "Z. Luo and R. Adams",

year = "2008",

doi = "10.1017/S0960129508006956",

language = "English",

volume = "18",

pages = "931--972",

journal = "Mathematical Structures in Computer Science",

issn = "0960-1295",

publisher = "Cambridge University Press",

number = "5",

}

TY - JOUR

T1 - Structural subtyping for inductive types with functorial equality rules

AU - Luo, Z.

AU - Adams, R.

PY - 2008

Y1 - 2008

KW - coercive subtyping

KW - type theory

KW - inductive types

U2 - 10.1017/S0960129508006956

DO - 10.1017/S0960129508006956

M3 - Article

SN - 0960-1295

VL - 18

SP - 931

EP - 972

JO - Mathematical Structures in Computer Science

JF - Mathematical Structures in Computer Science

IS - 5

ER -