14 citations · 30 across the 16 of their papers we have counts for
Showing 2021Show all
2 papers · 1 filter
cs.LO2021
The Theory of an Arbitrary Higher -Model
Daniel O. Martínez-Rivillas, Ruy J. G. B. de Queiroz
One takes advantage of some basic properties of every homotopic -model (e.g.\ extensional Kan complex) to explore the higher -conversions, which would correspond to proofs o…
cs.LO2021★ 1 cited
Solving Homotopy Domain Equations
Daniel O. Martínez-Rivillas, Ruy J. G. B. de Queiroz
In order to get -models with a rich structure of -groupoid, which we call "homotopy -models", a general technique is described for solving domain equations on any car…