A universal characterization of the closed euclidean interval (extended abstract (2001)

by M Escardo, A Simpson
Venue:In: IEEE Symp. on Logic in Computer Science