TY  - CONF

T1  - Proof of a conjecture of A. Pitts

JO  - JOURNAL OF PURE AND APPLIED ALGEBRA

PY  - 1999/11/10

AU  - Moerdijk I

AU  - Vermeulen JJC

ED  - 

VL  - 143

IS  - 1-3

SP  - 329

EP  - 338

Y2  - 2024/12/22

ER  -