EasyChair Smart Slide
Proof nets for bi-intuitionistic linear logic
Proof nets for bi-intuitionistic linear logic