Space of Valuations
Artikel i vetenskaplig tidskrift, 2009
Författare
Thierry Coquand
Göteborgs universitet
Annals of Pure and Applied Logic
Vol. 157 97-109
Ämneskategorier (SSIF 2011)
Annan matematik