Cited By
View all- Jay BPeyton Jones S(2008)Scrap Your Type ApplicationsProceedings of the 9th international conference on Mathematics of Program Construction10.1007/978-3-540-70594-9_2(2-27)Online publication date: 15-Jul-2008
- Goguen H(2005)A syntactic approach to eta equality in type theoryACM SIGPLAN Notices10.1145/1047659.104031240:1(75-84)Online publication date: 12-Jan-2005
- 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