1 citations · 2 across the 14 of their papers we have counts for
Showing 2017Show all
3 papers · 1 filter
cs.LO2017★ 1 cited
Game-theoretic Investigation of Intensional Equalities
Norihiro Yamada
This article presents a new game semantics for Martin-Löf type theory (MLTT), in which each game is equipped with selected isomorphism strategies that represent (computational) pro…
math.CT2017
Categories with Dependence and Semantics of Dependent Types
Norihiro Yamada
The present paper gives a generalization of cartesian closed categories, called cartesian closed categories with dependence, whose strict version induces categories with families t…
cs.LO2017
A Game-Semantic Model of Computation
Norihiro Yamada
The present paper introduces a novel notion of `(effective) computability', called viability, of strategies in game semantics in an intrinsic (i.e., without recourse to the standar…