A universal characterization of the closed Euclidean interval

Martin Escardo, A Simpson

Research output: Contribution to conference (unpublished)Paper

18 Citations (Scopus)
Original languageEnglish
Pages16-19
Number of pages4
Publication statusPublished - 1 Jan 2001
Event16th Annual IEEE Symposium on Logic in Computer Science -
Duration: 1 Jan 2001 → …

Conference

Conference16th Annual IEEE Symposium on Logic in Computer Science
Period1/01/01 → …

Cite this