## The Hahn-Banach Theorem in Type Theory (1997)

### Cached

### Download Links

by
Jan Cederquist
,
Thierry Coquand
,
Sara Negri

Citations: | 7 - 0 self |