Integrals and Valuations
Journal article, 2009
Author
Thierry Coquand
University of Gothenburg
Bas Spitters
Logic and Analysis
Vol. 1
Subject Categories
Mathematics