TY  - CONF

T1  - Type theories, toposes and constructive set theory: predicative aspects of AST

JO  - ANNALS OF PURE AND APPLIED LOGIC

PY  - 2002/04/15

AU  - Moerdijk I

AU  - Palmgren E

ED  - 

VL  - 114

IS  - 1-3

SP  - 155

EP  - 201

Y2  - 2024/12/22

ER  -