@inproceedings{inproceedings, title = {{Proof of a conjecture of A. Pitts}}, url = {{}}, year = {{1999}}, month = {{11}}, author = {{Moerdijk I and Vermeulen JJC}}, volume = {{143}}, journal = {{JOURNAL OF PURE AND APPLIED ALGEBRA}}, issue = {{1-3}}, pages = {{329-338}}, note = {{Accessed on 2025/07/13}}}