Thierry Coquand. The Completeness of Typing for Context-Semantics. Fundamenta Informaticae, 77(4):293-301, 2007. [doi]
@article{Coquand07,
title = {The Completeness of Typing for Context-Semantics},
author = {Thierry Coquand},
year = {2007},
url = {http://iospress.metapress.com/openurl.asp?genre=article&issn=0169-2968&volume=77&issue=4&spage=293},
tags = {semantics, completeness, context-aware},
researchr = {https://researchr.org/publication/Coquand07},
cites = {0},
citedby = {0},
journal = {Fundamenta Informaticae},
volume = {77},
number = {4},
pages = {293-301},
}