The completeness of typing for context-semantics
Artikel i vetenskaplig tidskrift, 2007
Författare
Thierry Coquand
Göteborgs universitet
Fundamenta Informaticae
0169-2968 (ISSN)
Vol. 77 4 293-301Ämneskategorier
Datavetenskap (datalogi)