@inproceedings{inproceedings, title = {{Exploring the Regular Tree Types.}}, publisher = {{Springer}}, url = {{https://doi.org/10.1007/11617990 }}, year = {{2004}}, month = {{1}}, author = {{Morris P and Altenkirch T and McBride C}}, volume = {{3839}}, journal = {{TYPES}}, pages = {{252-267}}, note = {{Accessed on 2024/12/22}}}