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

by M H Escardó, A K Simpson
Venue:In 16th Annual IEEE Symposium on Logic in Computer Science