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)