22 citations · 108 across the 38 of their papers we have counts for
Showing 2026 · cs.LOShow all
2 papers · 2 filters
cs.LO2026★ 1 cited
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…