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

More information

Created

10/10/2017