In this talk, we connect four different ways of interpreting classical multiplicative linear logic categorically.
03 Dec 2020
In this talk, we connect four different ways of interpreting classical multiplicative linear logic categorically.
09 Jul 2020
In this talk, we connect four different ways of interpreting classical multiplicative linear logic categorically.
02 Jun 2020
01 Nov 2019
05 Sep 2019