@inproceedings{inproceedings, title  = {{Type theories, toposes and constructive set theory: predicative aspects of AST}},

 url = {{}},

 year = {{2002}},

 month = {{4}},

 author = {{Moerdijk I and Palmgren E}},

 volume = {{114}},

 journal = {{ANNALS OF PURE AND APPLIED LOGIC}},

 issue = {{1-3}},

 pages = {{155-201}},

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