Game semantics for dependent types (Information and Computation, 2018)

(untitled) - Vákár, M; Jagadeesan, R; Abramsky, S