A Universal Characterisation of the Closed Euclidean Interval

by Martín H. Escardo , Alex K. Simpson
Venue:in: Proceedings of 16th Annual IEEE Symposium on Logic in Computer Science
Citations:3 - 3 self