Sciweavers

MSCS
2008
119views more  MSCS 2008»
14 years 13 days ago
Structural subtyping for inductive types with functorial equality rules
Subtyping for inductive types in dependent type theories is studied in the framework of coercive subtyping. General structural subtyping rules for parameterised inductive types ar...
Zhaohui Luo, Robin Adams