Formal spaces, in iThe (1982)

by M P Fourman, R J Grayson
Venue:The Hahn-Banach Theorem in Type Theory 17