Game semantics of Martin-Löf type theory.
Norihiro YamadaPublished in: Math. Struct. Comput. Sci. (2023)
Keyphrases
- general theory
- theoretical framework
- speech acts
- formal semantics
- logic programming
- proof theory
- computer games
- abstract argumentation frameworks
- logical properties
- video games
- semantic information
- computational model
- optimal strategy
- argumentation frameworks
- game theoretic
- von neumann
- abstract argumentation
- virtual world