22 citations · 108 across the 38 of their papers we have counts for
39 papers
Compositional Generalization via Structural Identification in a Category-Theoretic Framework
Akihiro Maeda, Thomas Seiller, Yohei Oseki
Compositional generalization is usually evaluated through model accuracy. We instead ask which structural or lexical identifications make held-out COGS examples admissible from the…
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…
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…
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…
Linear Realisability over nets: multiplicatives (long version)
Adrien Ragot, Thomas Seiller, Lorenzo Tortora de Falco
We provide a new realisability model based on orthogonality for the multiplicative fragment of linear logic, both in presence of generalised axioms (MLL*) and in the standard case…
Linear Realisability and Cobordisms
Valentin Maestracci, Thomas Seiller
Cobordism categories are known to be compact closed. They can therefore be used to define non-degenerate models of multiplicative linear logic by combining the Int construction wit…