Zhaohui Luo, Robin Adams. Structural subtyping for inductive types with functorial equality rules. Mathematical Structures in Computer Science, 18(5):931-972, 2008. [doi]
No references recorded for this publication.
No citations of this publication recorded.