KIT | KIT-Bibliothek | Impressum | Datenschutz

A rewriting coherence theorem with applications in homotopy type theory

Kraus, Nicolai; von Raumer, Jakob 1
1 Institut für Programmstrukturen und Datenorganisation (IPD), Karlsruher Institut für Technologie (KIT)


Zugehörige Institution(en) am KIT Institut für Programmstrukturen und Datenorganisation (IPD)
Publikationstyp Forschungsbericht/Preprint
Publikationsjahr 2021
Sprache Englisch
Identifikator KITopen-ID: 1000156292
Umfang 34 S.
Vorab online veröffentlicht am 04.07.2021
Nachgewiesen in arXiv
Dimensions
Relationen in KITopen
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page