Projecting games on hypercoherences

DOI10.1007/978-3-540-27836-8_24MaRDI QIDQ5466467zbMATH OpenOpenAlexFDO

Authors Pierre Boudes

Publication date 24 August 2005

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

Full work available at URL https://doi.org/10.1007/b99859

Mathematics Subject Classification ID

Proof-theoretic aspects of linear logic and other substructural logics (03F52) Theory of programming languages (68N15) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Semantics in the theory of computing (68Q55) Applications of game theory (91A80)

Recommendations

• Parallel and serial hypercoherences
• Polarized games
• Thick Subtrees, Games and Experiments
• Game semantics and linear CPS interpretation
• Game semantics for call-by-value polymorphism

Cited in

(6)

• Parallel and serial hypercoherences
• Rewritings for polarized multiplicative and exponential proof structures
• Thick Subtrees, Games and Experiments
• scientific article; zbMATH DE number 7561616 (Why is no real title available?)
• Near coherence and filter games
• A tale of additives and concurrency in game semantics

This page was built for publication: Projecting games on hypercoherences

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5466467)