Towards formalizing categorical models of type theory in type theory
Paper in proceedings, 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

More information

Created

10/7/2017