Geometric Hahn-Banach theorem
Journal article, 2006
Author
Thierry Coquand
University of Gothenburg
Math. Proc. Cambridge Philos. Soc
Vol. 140 2 313-315
Subject Categories
Mathematical Analysis