1 citations · 2 across the 14 of their papers we have counts for
Showing 2019Show all
2 papers · 1 filter
math.LO2019
On the Unity of Logic: a Sequential, Unpolarized Approach
Norihiro Yamada
The present work aims to give a unity of logic via standard sequential, unpolarized games. Specifically, our vision is that there must be mathematically precise concepts of linear…
math.LO2019
Game Semantics of Martin-Löf Type Theory
Norihiro Yamada
We present new game semantics of Martin-Löf type theory (MLTT) equipped with One-, Zero-, N-, Pi-, Sigma- and Id-types. Our game semantics interprets MLTT more accurately than exis…