Ludics and Web: Another Reading of Standard Operations

DOI10.1007/978-3-642-19211-1_4zbMath1317.68238OpenAlexW1523735047MaRDI QIDQ3080086

Christophe Fouqueré

Publication date: 4 March 2011

Published in: Ludics, Dialogue and Interaction (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-19211-1_4

zbMATH Keywords

linear logicinteractionweb languages

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Proof-theoretic aspects of linear logic and other substructural logics (03F52) Internet topics (68M11)

This page was built for publication: Ludics and Web: Another Reading of Standard Operations