arXiv2
Search
Dark
/ Date
/ Name
Aa
W
/ Date
/ Name
"au:"Louise Leclerc"" — arXiv2 Search
Showing 1–3 of 3 results
/ Date
/ Name
May 28, 2024
A poset-like approach to positive opetopes
Sep 4, 2024
Two equivalent descriptions of opetopes: in terms of zoom complexes and of partial orders
Jan 10, 2022
A Coq Formalization of the Bochner integral