Cited By
View all- Crary K(2009)Explicit Contexts in LF (Extended Abstract)Electronic Notes in Theoretical Computer Science (ENTCS)10.1016/j.entcs.2008.12.116228(53-68)Online publication date: 1-Jan-2009
- Rabe F(2006)First-order logic with dependent typesProceedings of the Third international joint conference on Automated Reasoning10.1007/11814771_33(377-391)Online publication date: 17-Aug-2006
- Pfenning F(2001)Logical frameworksHandbook of automated reasoning10.5555/778522.778526(1063-1147)Online publication date: 1-Jan-2001