Christine Tasson. The Linear-Non-Linear Substitution Monad. (Plenary Talk).
Channel: MFPS 2020
Date: 2020-06-01

Christine Tasson. The Linear-Non-Linear Substitution Monad. (Plenary Talk).