Higher Dimensional Trees, Algebraically [chapter]

Neil Ghani, Alexander Kurz
<i title="Springer Berlin Heidelberg"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/6konswtstrh6lafosqaq62ytpe" style="color: black;">Algebra and Coalgebra in Computer Science</a> </i> &nbsp;
In formal language theory, James Rogers published a series of innovative papers generalising strings and trees to higher dimensions.Motivated by applications in linguistics, his goal was to smoothly extend the core theory of the formal languages of strings and trees to these higher dimensions. Rogers' definitions focussed on a specific representation of higher dimensional trees. This paper presents an alternative approach which focusses more on their universal properties and is based upon
more &raquo; ... ry theory, algebras, coalgebras and containers. Our approach reveals that Rogers' trees are canonical constructions which are also particularly beautiful. We also provide new theoretical results concerning higher dimensional trees. Finally, we provide evidence for our devout conviction that clean mathematical theories provide the basis for clean implementations by showing how our abstract presentation makes computing with higher dimensional trees easier. ⋆ ⋆⋆ Partially supported by EPSRC EP/C014014/1.
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-540-73859-6_16">doi:10.1007/978-3-540-73859-6_16</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/calco/GhaniK07.html">dblp:conf/calco/GhaniK07</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/zrvya35gpvdmba7yeevjz6g44y">fatcat:zrvya35gpvdmba7yeevjz6g44y</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170810091552/http://www.cs.le.ac.uk/people/akurz/Papers/CALCO-07/GK07.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/3b/65/3b650d5ee01ac35c721c5bd51e4859aebe3880e2.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-540-73859-6_16"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>