Recommendations
Cites work
- scientific article; zbMATH DE number 1223609 (Why is no real title available?)
- scientific article; zbMATH DE number 1241697 (Why is no real title available?)
- scientific article; zbMATH DE number 1259144 (Why is no real title available?)
- scientific article; zbMATH DE number 1324438 (Why is no real title available?)
- scientific article; zbMATH DE number 1948179 (Why is no real title available?)
- scientific article; zbMATH DE number 1956521 (Why is no real title available?)
- scientific article; zbMATH DE number 1841820 (Why is no real title available?)
- scientific article; zbMATH DE number 786494 (Why is no real title available?)
- A game semantics for linear logic
- A new constructive logic: classic logic
- A new deconstructive logic: linear logic
- Call-by-push-value: Decomposing call-by-value and call-by-name
- Control categories and duality: On the categorical semantics of the lambda-mu calculus
- Full abstraction for PCF
- Full abstraction for idealized Algol with passive expressions
- Game-theoretic analysis of call-by-value computation
- Games and full completeness for multiplicative linear logic
- Linear continuation-passing
- Linear logic
- Locus solum: From the rules of logic to the logic of rules.
- On full abstraction for PCF: I, II and III
- On the symmetry of sequentiality
- Polarized proof-nets and \(\lambda \mu\)-calculus
- Premonoidal categories and notions of computation
- The duality of computation
Cited in
(23)- Computational ludics
- On the meaning of focalization
- Jump from parallel to sequential proofs: exponentials
- Safe recursion revisited. I: Categorical semantics for lower complexity
- A game-semantic model of computation
- Polarized category theory, modules, and game semantics
- On the Meaning of Logical Completeness
- scientific article; zbMATH DE number 2185717 (Why is no real title available?)
- On dialogue games and graph games
- Infinitary affine proofs
- Thick Subtrees, Games and Experiments
- From focalization of logic to the logic of focalization
- A game semantics of names and pointers
- Locally Boolean domains
- A categorical setting for lower complexity
- Dynamic game semantics
- Game semantics for access control
- An Indexed System for Multiplicative Additive Polarized Linear Logic
- A graphical foundation for interleaving in game semantics
- Totality in arena games
- Syntax vs. semantics: A polarized approach
- Game semantics and linear CPS interpretation
- Automata, Languages and Programming
This page was built for publication: Polarized games
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1886321)
