The Hahn-Banach Theorem in Type Theory (1997)

by Jan Cederquist , Thierry Coquand , Sara Negri
Citations:7 - 0 self

Document Versions

The Hahn-Banach Theorem in Type Theory –Jan Cederquist, Thierry Coquand, Sara Negri — 1997
The Hahn-Banach Theorem in Type Theory –Jan Cederquist, Thierry Coquand, Sara Negri