Towards formalizing categorical models of type theory in type theory
Paper in proceeding, 2007
Author
Alexandre Buisse
Chalmers, Computer Science and Engineering (Chalmers), Computing Science (Chalmers)
Peter Dybjer
Chalmers, Computer Science and Engineering (Chalmers), Computing Science (Chalmers)
Second International Workshop on Logical Frameworks and Metalanguages: Theory and Practice (LFMTP'07), eds Brigite Pientka and Carsten Schurmann, Electronic Notes in Theoretical Computer Science, Elsevier
72-85
Subject Categories
Algebra and Logic
Computer Science