On the π-calculus and co-intuitionistic logic (0)

by G Bellin, A Menti