Martín Hötzel Escardó Alex K. Simpson A Universal Characterization of the Closed Euclidean Interval. 115-128 2001 LICS db/conf/lics/lics2001.html#EscardoS01