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