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
Annan matematik