This page shows all presentations of this author published in EasyChair Smart Slide.
Proof nets for bi-intuitionistic linear logic
Willem Heijltjes and Gianluigi Bellin