Norihiro Yamada

Available identifiers

zbMath Open yamada.norihiroMaRDI QIDQ2319853

List of research outcomes

Publication	Date of Publication	Type
Game semantics of Martin-Löf type theory	2024-03-05	Paper
Logic and computation as combinatorics	2023-06-13	Paper
Game semantics of universes	2022-03-24	Paper
Dynamic game semantics	2021-05-14	Paper
Game semantics of Martin-L\"of type theory, part III: its consistency with Church's thesis	2020-07-16	Paper
Sequent calculi for a unity of logic	2020-01-16	Paper
On the Unity of Logic: a Sequential, Unpolarized Approach	2019-12-16	Paper
A game-semantic model of computation	2019-08-20	Paper
A Game-Semantic Model of Computation, Revisited: an Automata-Theoretic Perspective	2018-06-27	Paper
Categories with Dependence and Semantics of Dependent Types	2017-04-16	Paper
Game Semantics for Martin-L\"of Type Theory	2016-10-05	Paper
Game-theoretic Interpretation of Type Theory Part II: Uniqueness of Identity Proofs and Univalence	2016-02-12	Paper
Game-theoretic Interpretation of Intuitionistic Type Theory	2016-01-20	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Norihiro Yamada