1 citations · 1 across the 2 of their papers we have counts for
4 papers · 1 filter
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…
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…
Zeta Functions and the (Linear) Logic of Markov Processes
Thomas Seiller
The author introduced models of linear logic known as ''Interaction Graphs'' which generalise Girard's various geometry of interaction constructions. In this work, we establish how…