Author: nLab edit announcer Format: MarkdownItexmidpoint algebras were first coined by Peter Freyd
Anonymous
<a href="https://ncatlab.org/nlab/revision/midpoint+algebra/1">v1</a>, <a href="https://ncatlab.org/nlab/show/midpoint+algebra">current</a>
midpoint algebras were first coined by Peter Freyd
Author: nLab edit announcer Format: MarkdownItexAdded 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/midpoint+algebra/6">diff</a>, <a href="https://ncatlab.org/nlab/revision/midpoint+algebra/6">v6</a>, <a href="https://ncatlab.org/nlab/show/midpoint+algebra">current</a>
Added 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)