1 paper · 1 filter
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…