A universal characterization of the closed euclidean interval, in (0)

by M Escardó, A K Simpson
Venue:Proc. of 16th Ann. IEEE Symp. on Logic in Computer Science, LICS’01