scientific article; zbMATH DE number 1497810
From MaRDI portal
Publication:4499228
Recommendations
Cited in
(24)- A parallel game semantics for linear logic
- Glueing and orthogonality for models of linear logic
- Relating categorical semantics for intuitionistic linear logic
- Poset-valued sets or how to build models for linear logics
- Comparing hierarchies of types in models of linear logic
- Polarized games
- Contraction-free proofs and finitary games for linear logic
- Asynchronous games 3 an innocent model of linear logic
- Concrete data structures as games
- scientific article; zbMATH DE number 2185717 (Why is no real title available?)
- Understanding game semantics through coherence spaces
- Interactive models of computation and program behavior
- Group Announcements: Logic and Games (Abstract of Invited Talk)
- Computational Interpretations of Classical Linear Logic
- scientific article; zbMATH DE number 17706 (Why is no real title available?)
- scientific article; zbMATH DE number 1223612 (Why is no real title available?)
- scientific article; zbMATH DE number 1231521 (Why is no real title available?)
- scientific article; zbMATH DE number 1497805 (Why is no real title available?)
- Extensional and intensional semantics of bounded and unbounded nondeterminism
- Monoidal-closed categories of tree automata
- Dialectica categories and games with bidding
- Monoidal reverse differential categories
- Representable Markov categories and comparison of statistical experiments in categorical probability
- Template games and differential linear logic
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4499228)
