Norihiro Yamada

Publication Activity (10 Years)

Years Active: 2016-2023
Publications (10 Years): 13

Top Topics

Abstract Argumentation

Formal Semantics

Top Venues

Math. Struct. Comput. Sci.

University of Oxford, UK (PHD)

Education History

University of Oxford, UK

PHD

Publications

Norihiro Yamada
Logic and computation as combinatorics. CoRR (2023)
Norihiro Yamada
Game semantics of Martin-Löf type theory. Math. Struct. Comput. Sci. 33 (7) (2023)
Norihiro Yamada
Game semantics of universes. CoRR (2022)
Norihiro Yamada, Samson Abramsky
Dynamic game semantics. Math. Struct. Comput. Sci. 30 (8) (2020)
Norihiro Yamada
Game semantics of Martin-Löf type theory, part III: its consistency with Church's thesis. CoRR (2020)
Norihiro Yamada
Game Semantics of Martin-Löf Type Theory. CoRR (2019)
Norihiro Yamada
On the Unity of Logic: a Sequential, Unpolarized Approach. CoRR (2019)
Norihiro Yamada
A Game-Semantic Model of Computation, Revisited: An Automata-Theoretic Perspective. CoRR (2018)
Norihiro Yamada
Game-theoretic Investigation of Intensional Equalities. CoRR (2017)
Norihiro Yamada
Dependent Cartesian Closed Categories. CoRR (2017)
Norihiro Yamada
Game-theoretic Model of Computation. CoRR (2017)
Norihiro Yamada
Game-theoretic Interpretation of Type Theory Part II: Uniqueness of Identity Proofs and Univalence. CoRR (2016)
Norihiro Yamada, Samson Abramsky
Dynamic Games and Strategies. CoRR (2016)