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…