The Hahn-Banach Theorem in Type Theory (1997)

by Jan Cederquist, Thierry Coquand, Sara Negri