41 citations · 172 across the 17 of their papers we have counts for
Showing 2021Show all
2 papers · 1 filter
cs.LO2021★ 3 cited
A Rewriting Coherence Theorem with Applications in Homotopy Type Theory
Nicolai Kraus, Jakob von Raumer
Higher-dimensional rewriting systems are tools to analyse the structure of formally reducing terms to normal forms, as well as comparing the different reduction paths that lead to…
cs.LO2021★ 2 cited
Connecting Constructive Notions of Ordinals in Homotopy Type Theory
Nicolai Kraus, Fredrik Nordvall Forsberg, Chuangjie Xu
In classical set theory, there are many equivalent ways to introduce ordinals. In a constructive setting, however, the different notions split apart, with different advantages and…