@article{article, title  = {{Aspects of predicative algebraic set theory, II: Realizability}},

 url = {{}},

 year = {{2011}},

 month = {{1}},

 author = {{Van Den Berg B and Moerdijk I}},

 doi = {{10.1016/j.tcs.2010.12.019}},

 volume = {{412}},

 journal = {{Theoretical Computer Science}},

 issue = {{20}},

 pages = {{1916-1940}},

 note = {{Accessed on 2024/12/22}}}