Game semantics of Martin-Löf type theory, part III: its consistency with Church's thesis.
Norihiro YamadaPublished in: CoRR (2020)
Keyphrases
- general theory
- mathematical foundations
- machine learning
- theoretical framework
- formal semantics
- logic programming
- algebraic structure
- closed world assumption
- proof theory
- computer games
- speech acts
- computer vision
- table of contents
- game playing
- game theory
- virtual world
- action theories
- action descriptions
- dialogue games