3 papers
cs.LO2026
A calculus of types in Isbell nuclei
Juan Luis Gastaldi, Samantha Jarvis, Thomas Seiller +1
We identify two constructions from different mathematical traditions. In linear logic and realisability, logical types are generated rather than fixed in advance: one begins with a…
cs.LO2026
Mathematical Informatics: Algorithms
Thomas Seiller
This work continues the development of an intensional approach to computability initiated in previous work, in which programs and computations, rather than functions, constitute th…
math.AG2026
Projective metric geometry of tropical nuclei: gap matrices, event loci, and order chambers
Juan Luis Gastaldi, Samantha Jarvis, Thomas Seiller +1
The tropical row span and column span of a real matrix are, from the polyhedral point of view, different objects living in different ambient spaces. These polytopes are known to be…