5 citations
2 papers
math.GN2026★ 5 cited
Advanced manifold-metric pairs
Pierros Ntelis
This article presents a novel mathematical formalism for advanced manifold--metric pairs, enhancing the frameworks of geometry and topology. We construct various D-dimensional mani…
cs.LO2026
Extensional Taylor Expansion
Lison Blondeau-Patissier, Pierre Clairambault, Lionel Vaux Auclair
We introduce a calculus of extensional resource terms. These are resource terms à la Ehrhard-Regnier, but in infinitely eta-long form. The calculus still retains a finite syntax an…