Author: nLab edit announcer Format: MarkdownItexPage created, but author did not leave any comments.
Anonymous
<a href="https://ncatlab.org/nlab/revision/cancellative+midpoint+algebra/1">v1</a>, <a href="https://ncatlab.org/nlab/show/cancellative+midpoint+algebra">current</a>
Page created, but author did not leave any comments.
Author: nLab edit announcer Format: MarkdownItexAdding reference
* [[Martín Escardó]] and [[Alex Simpson]]. *A universal characterization of the closed Euclidean interval.* In 16th Annual IEEE Symposium on Logic in Computer Science, Boston, Massachusetts, USA, June 16-19, 2001, Proceedings, pages 115–125. IEEE Computer Society, 2001. ([doi:10.1109/LICS.2001.932488](https://doi.org/10.1109/LICS.2001.932488), [pdf](http://www.cs.bham.ac.uk/~mhe/papers/interval.pdf))
Anonymouse
<a href="https://ncatlab.org/nlab/revision/diff/cancellative+midpoint+algebra/4">diff</a>, <a href="https://ncatlab.org/nlab/revision/cancellative+midpoint+algebra/4">v4</a>, <a href="https://ncatlab.org/nlab/show/cancellative+midpoint+algebra">current</a>
Adding reference
Martín Escardó and Alex Simpson. A universal characterization of the closed Euclidean interval. In 16th Annual IEEE Symposium on Logic in Computer Science, Boston, Massachusetts, USA, June 16-19, 2001, Proceedings, pages 115–125. IEEE Computer Society, 2001. (doi:10.1109/LICS.2001.932488, pdf)