EasyChair Smart Slide
The structure of non decomposable connectives of linear logic
The structure of non decomposable connectives of linear logic