Formalizing categorical models of type theory in type theory (2007)

by Alexandre Buisse , Peter Dybjer
Venue:In International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice
Citations:5 - 2 self