The Hahn-Banach Theorem in Type Theory (1997)

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