A universal characterisation of the closed Euclidean interval (0)

by M Escardó, A Simpson
Venue:in: Proceedings of 16th Annual IEEE Symposium on Logic in Computer Science