Soundness of Typed Transitions in the Linear π-Calculus.

Adrian Francalanza, Marco Giunti, Antnio Ravara

Browse the full FORTE paper archive.