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