TY - CONF T1 - Exploring the Regular Tree Types. JO - TYPES UR - https://doi.org/10.1007/11617990 PY - 2004/01/01 AU - Morris P AU - Altenkirch T AU - McBride C ED - FilliĆ¢tre J-C ED - Paulin-Mohring C ED - Werner B PB - Springer VL - 3839 SP - 252 EP - 267 Y2 - 2024/12/22 ER -