Lê Thành Dũng Nguyễn (Université Paris 13), Around finite semantics for second-order multiplicative linear logic

Programme