TY  - CONF

T1  - Wellfounded trees in categories

JO  - ANNALS OF PURE AND APPLIED LOGIC

PY  - 2000/07/15

AU  - Moerdijk I

AU  - Palmgren E

ED  - 

VL  - 104

IS  - 1-3

SP  - 189

EP  - 218

Y2  - 2024/12/22

ER  -