TY  - RPRT
TI  - A calculus of types in Isbell nuclei
AU  - Juan Luis Gastaldi
AU  - Samantha Jarvis
AU  - Thomas Seiller
AU  - John Terilla
PY  - 2026
UR  - https://arxiv.org/abs/2606.03369
ID  - 2606.03369
ER  -