TY - CONF T1 - A Unified Approach to Algebraic Set Theory PY - 2009/01/01 AU - Berg BVD AU - Moerdijk I ED - Y2 - 2024/12/22 ER -