HIGHLIGHTS
- who: PA P, E R and Nicolai, Kraus from the School of Computer Science, University of Nottingham, Nottingham , RD, UK and , Karlsruhe Institute of Technology have published the Article: A rewriting coherence theorem with applications in homotopy type theory, in the Journal: (JOURNAL)
- what: The authors show that the basic notions of confluence and wellfoundedness are sufficient to recursively build such a homotopy basis with a construction reminiscent of an argument by Craig C. Squier. The aim of this paper is to show that a rewriting result, reminiscent of Newman`s and Squier`s, can . . .
If you want to have access to all the content you need to log in!
Thanks :)
If you don't have an account, you can create one here.