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

More information

Created

10/10/2017