L-Nets, Strategies and Proof-Nets.

Pierre-Louis Curien, Claudia Faggian

Browse the full CSL paper archive.