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/10/19

ER  -