Space of Valuations
Journal article, 2009
Author
Thierry Coquand
University of Gothenburg
Annals of Pure and Applied Logic
Vol. 157 97-109
Subject Categories
Other Mathematics