Cited By
View all- Luo Z(2009)Dependent record types revisitedProceedings of the 1st Workshop on Modules and Libraries for Proof Assistants10.1145/1735813.1735819(30-37)Online publication date: 3-Aug-2009
- Abel A(2006)Polarized subtyping for sized typesProceedings of the First international computer science conference on Theory and Applications10.1007/11753728_39(381-392)Online publication date: 8-Jun-2006
- Harper RPfenning F(2005)On equivalence and canonical forms in the LF type theoryACM Transactions on Computational Logic (TOCL)10.1145/1042038.10420416:1(61-101)Online publication date: 1-Jan-2005
- Show More Cited By