A Formal Space of Ultrafilters Manuscript (1994)

by Coquand