Towards formalizing categorical models of type theory in type theory
Paper i proceeding, 2007

Författare

Alexandre Buisse

Chalmers, Data- och informationsteknik, Datavetenskap

Peter Dybjer

Chalmers, Data- och informationsteknik, Datavetenskap

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

Ämneskategorier

Algebra och logik

Datavetenskap (datalogi)