Believe it or not, AJM's Games Model is a Model of Classical Linear Logic
| Autor: | Patrick Baillot, Laurent Regnier, Thomas Ehrhard, Vincent Danos |
|---|---|
| Přispěvatelé: | Institut de mathématiques de Luminy (IML), Université de la Méditerranée - Aix-Marseille 2-Centre National de la Recherche Scientifique (CNRS), Équipe de Logique Mathématique (ELM), Université Paris Diderot - Paris 7 (UPD7)-Centre National de la Recherche Scientifique (CNRS), Centre National de la Recherche Scientifique (CNRS)-Université de la Méditerranée - Aix-Marseille 2, Baillot, Patrick |
| Jazyk: | angličtina |
| Rok vydání: | 1997 |
| Předmět: |
Discrete mathematics
Subcategory Computer Science::Computer Science and Game Theory [INFO.INFO-LO] Computer Science [cs]/Logic in Computer Science [cs.LO] Game semantics 010102 general mathematics ComputingMilieux_PERSONALCOMPUTING Linear logic [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO] 02 engineering and technology 01 natural sciences game semantics Reduction (complexity) Algebra Denotational semantics Mathematics::Category Theory Encoding (memory) 0202 electrical engineering electronic engineering information engineering 020201 artificial intelligence & image processing 0101 mathematics Game theory Mathematics denotational semantics |
| Zdroj: | Proceedings, 12th Annual IEEE Symposium on Logic in Computer Science (LICS'97) LICS |
| Popis: | A general category of games is constructed. A subcategory of saturated strategies, closed under all possible codings in copy games, is shown to model reduction in classical linear logic. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|