The completeness of typing for context-semantics
Journal article, 2007
Author
Thierry Coquand
University of Gothenburg
Fundamenta Informaticae
0169-2968 (ISSN)
Vol. 77 4 293-301Subject Categories
Computer Science