We stand with Ukraine  

Norihiro Yamada

Orcid: 0000-0003-1253-8943

According to our database1, Norihiro Yamada authored at least 13 papers between 2016 and 2023.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2023
Game semantics of Martin-Löf type theory.
[BibTeX]
[DOI]
Norihiro Yamada
Math. Struct. Comput. Sci., 2023

Logic and computation as combinatorics.
[BibTeX]
[DOI]
Norihiro Yamada
CoRR, 2023

2022
Game semantics of universes.
[BibTeX]
[DOI]
Norihiro Yamada
CoRR, 2022

2020
Dynamic game semantics.
[BibTeX]
[DOI]
Norihiro Yamada
,
Samson Abramsky
Math. Struct. Comput. Sci., 2020

Game semantics of Martin-Löf type theory, part III: its consistency with Church's thesis.
[BibTeX]
[DOI]
Norihiro Yamada
CoRR, 2020

2019
On the Unity of Logic: a Sequential, Unpolarized Approach.
[BibTeX]
[DOI]
Norihiro Yamada
CoRR, 2019

2018
A Game-Semantic Model of Computation, Revisited: An Automata-Theoretic Perspective.
[BibTeX]
[DOI]
Norihiro Yamada
CoRR, 2018

2017
Games as mathematics of logic and computation.
[BibTeX]
[DOI]
Norihiro Yamada
PhD thesis, 2017

Dependent Cartesian Closed Categories.
[BibTeX]
[DOI]
Norihiro Yamada
CoRR, 2017

Game-theoretic Investigation of Intensional Equalities.
[BibTeX]
[DOI]
Norihiro Yamada
CoRR, 2017

Game-theoretic Model of Computation.
[BibTeX]
[DOI]
Norihiro Yamada
CoRR, 2017

2016
Dynamic Games and Strategies.
[BibTeX]
[DOI]
Norihiro Yamada
,
Samson Abramsky
CoRR, 2016

Game-theoretic Interpretation of Type Theory Part II: Uniqueness of Identity Proofs and Univalence.
[BibTeX]
[DOI]
Norihiro Yamada
CoRR, 2016


  Loading...