sMALL CaPS: An Infinitary Linear Logic for a Calculus of Pure Sessions.

Francesco Dagnino, Luca Padovani

Browse the full PPDP paper archive.