Thierry Coquand, Simon Huber. An Adequacy Theorem for Dependent Type Theory. Theory Comput. Syst., 63(4):647-665, 2019. [doi]
@article{CoquandH19,
title = {An Adequacy Theorem for Dependent Type Theory},
author = {Thierry Coquand and Simon Huber},
year = {2019},
doi = {10.1007/s00224-018-9879-9},
url = {https://doi.org/10.1007/s00224-018-9879-9},
researchr = {https://researchr.org/publication/CoquandH19},
cites = {0},
citedby = {0},
journal = {Theory Comput. Syst.},
volume = {63},
number = {4},
pages = {647-665},
}