Ludics is a Model for the Finitary Linear Pi-Calculus

DOI10.1007/978-3-540-73228-0_12zbMath1215.03071OpenAlexW1550192310MaRDI QIDQ3612628

Claudia Faggian, Mauro Piccolo

Publication date: 10 March 2009

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-73228-0_12

Mathematics Subject Classification ID

Proof-theoretic aspects of linear logic and other substructural logics (03F52)

Related Items (8)

From Focalization of Logic to the Logic of Focalization ⋮ Jump from parallel to sequential proofs: exponentials ⋮ An approach to innocent strategies as graphs ⋮ Typed event structures and the linear \(\pi \)-calculus ⋮ Computational ludics ⋮ On the Meaning of Focalization ⋮ On the Meaning of Logical Completeness ⋮ Partial Orders, Event Structures and Linear Strategies

This page was built for publication: Ludics is a Model for the Finitary Linear Pi-Calculus