TY  - JOUR

T1  - Aspects of predicative algebraic set theory, II: Realizability

JO  - Theoretical Computer Science

PY  - 2011/01/01

AU  - Van Den Berg B

AU  - Moerdijk I

ED  - 

DO  - DOI: 10.1016/j.tcs.2010.12.019

VL  - 412

IS  - 20

SP  - 1916

EP  - 1940

Y2  - 2024/12/22

ER  -