A universal characterization of the closed euclidean interval (Extended Abstract) (2001)

by Martín H. Escardó , Alex K. Simpson
Venue:PROC. OF 16TH ANN. IEEE SYMP. ON LOGIC IN COMPUTER SCIENCE, LICS'01
Citations:11 - 1 self