32 citations · 72 across the 18 of their papers we have counts for
Showing 2019Show all
2 papers · 1 filter
math.LO2019
Proofs and surfaces
Djordje Baralic, Pierre-Louis Curien, Marina Milicevic +4
A formal sequent system dealing with Menelaus' configurations is introduced in this paper. The axiomatic sequents of the system stem from 2-cycles of Delta-complexes. The Euclidean…
math.CT2019
Syntactic approaches to opetopes
Pierre-Louis Curien, Cédric Ho Thanh, Samuel Mimram
Opetopes are algebraic descriptions of shapes corresponding to compositions in higher dimensions. As such, they offer an approach to higher-dimensional algebraic structures, and in…