Incarnation in Ludics and maximal cliques of paths

DOI10.2168/LMCS-9(4:6)2013zbMath1319.03063arXiv1307.1028OpenAlexW1984267738MaRDI QIDQ2851674

Myriam Quatrini, Christophe Fouqueré

Publication date: 16 October 2013

Published in: Logical Methods in Computer Science (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1307.1028

zbMATH Keywords

linear logicnormalizationcut-eliminationgame semanticsludicsincarnation

Mathematics Subject Classification ID

Logic in computer science (03B70) Structure of proofs (03F07) Proof-theoretic aspects of linear logic and other substructural logics (03F52) Abstract deductive systems (03B22)

Related Items (1)

Unnamed Item

This page was built for publication: Incarnation in Ludics and maximal cliques of paths