Norihiro Yamada

Identifiers

• name variant Norihiro Yamada 0.60 · backfill

Papers (15)

1. Mineral Detection of Neutrinos and Dark Matter 2025 Proceedings physics.ins-det · 2025 · author #70
2. Logic and computation as combinatorics math.LO · 2023 · author #1
3. Game semantics of universes math.LO · 2022 · author #1
4. Game semantics of Martin-L\"of type theory, part III: its consistency with Church's thesis math.LO · 2020 · author #1
5. Sequent calculi for a unity of logic math.LO · 2020 · author #1
6. On the Unity of Logic: a Sequential, Unpolarized Approach math.LO · 2019 · author #1
7. Game Semantics of Martin-L\"of Type Theory math.LO · 2019 · author #1
8. A Game-Semantic Model of Computation, Revisited: an Automata-Theoretic Perspective cs.LO · 2018 · author #1
9. Categories with Dependence and Semantics of Dependent Types math.CT · 2017 · author #1
10. Game-theoretic Investigation of Intensional Equalities cs.LO · 2017 · author #1
11. A Game-Semantic Model of Computation cs.LO · 2017 · author #1
12. Game Semantics for Martin-L\"of Type Theory cs.LO · 2016 · author #1
13. Game-theoretic Interpretation of Type Theory Part II: Uniqueness of Identity Proofs and Univalence cs.LO · 2016 · author #1
14. Game-theoretic Interpretation of Intuitionistic Type Theory cs.LO · 2016 · author #1
15. Dynamic Game Semantics cs.LO · 2016 · author #1

Mentions

• 2508.20482 #70 · arxiv_oai · confidence 0.70 Norihiro Yamada
• 2306.07806 #1 · arxiv_oai · confidence 0.70 Norihiro Yamada
• 2203.13069 #1 · arxiv_oai · confidence 0.70 Norihiro Yamada
• 1610.01669 #1 · arxiv_oai · confidence 0.70 Norihiro Yamada
• 1905.00993 #1 · arxiv_oai · confidence 0.70 Norihiro Yamada
• 1601.04147 #1 · arxiv_oai · confidence 0.70 Norihiro Yamada
• 2001.06138 #1 · arxiv_oai · confidence 0.70 Norihiro Yamada
• 2007.08094 #1 · arxiv_oai · confidence 0.70 Norihiro Yamada
• 1912.07462 #1 · arxiv_oai · confidence 0.70 Norihiro Yamada
• 1806.10435 #1 · arxiv_oai · confidence 0.70 Norihiro Yamada
• 1704.04747 #1 · arxiv_oai · confidence 0.70 Norihiro Yamada
• 1702.05073 #1 · arxiv_oai · confidence 0.70 Norihiro Yamada
• 1703.02015 #1 · arxiv_oai · confidence 0.70 Norihiro Yamada
• 1601.05336 #1 · arxiv_oai · confidence 0.70 Norihiro Yamada
• 1602.04123 #1 · arxiv_oai · confidence 0.70 Norihiro Yamada

Frequent Coauthors

• Adam A. Hecht 1 shared papers
• Akihiko Yokoyama 1 shared papers
• Alexey Elykov 1 shared papers
• Alexis M. Willson 1 shared papers
• Andrew Gilpin 1 shared papers
• Anna Erickson 1 shared papers
• Atsuhiro Umemoto 1 shared papers
• Ayuki Kamada 1 shared papers
• Brenden A. Magill 1 shared papers
• Claudio Galelli 1 shared papers
• Daniel Ang 1 shared papers
• Emilie M. LaVoie-Ingram 1 shared papers
• Erwin H. Tanin 1 shared papers
• Ethan Todd 1 shared papers
• Gabriela R. Araujo 1 shared papers
• Gavishta Liyanage 1 shared papers
• Giti A. Khodaparast 1 shared papers
• Igor Jovanovic 1 shared papers
• Jiashen Tang 1 shared papers
• Jordan Chapman 1 shared papers