A Universal Characterization of the Closed Euclidean Interval.

Martn Htzel Escard, Alex K. Simpson

Browse the full LICS paper archive.