Game semantics for dependent types

Matthijs Vákár, Radha Jagadeesan, Samson Abramsky

Research output: Contribution to journal › Article › Academic › peer-review

Original language	English
Pages (from-to)	401-431
Number of pages	31
Journal	Information and Computation
Volume	261
DOIs	https://doi.org/10.1016/j.ic.2018.02.015
Publication status	Published - 2018

Access to Document

@article{6bf1dcb5d379497d99d0c08aa216da31,

title = "Game semantics for dependent types",

author = "Matthijs V{\'a}k{\'a}r and Radha Jagadeesan and Samson Abramsky",

year = "2018",

doi = "10.1016/j.ic.2018.02.015",

language = "English",

volume = "261",

pages = "401--431",

journal = "Information and Computation",

issn = "0890-5401",

publisher = "Elsevier",

}