%0 Journal Article %1 journals/apal/MoerdijkP02 %A Moerdijk, Ieke %A Palmgren, Erik %D 2002 %J Ann. Pure Appl. Log. %K dblp %N 1-3 %P 155-201 %T Type theories, toposes and constructive set theory: predicative aspects of AST. %U http://dblp.uni-trier.de/db/journals/apal/apal114.html#MoerdijkP02 %V 114

@article{journals/apal/MoerdijkP02, added-at = {2020-02-21T00:00:00.000+0100}, author = {Moerdijk, Ieke and Palmgren, Erik}, biburl = {https://www.bibsonomy.org/bibtex/23026428ffec74551ecd8e9929f9f98ef/dblp}, ee = {https://doi.org/10.1016/S0168-0072(01)00079-3}, interhash = {a054bd82d00d88b9e8b6cbdeba343c91}, intrahash = {3026428ffec74551ecd8e9929f9f98ef}, journal = {Ann. Pure Appl. Log.}, keywords = {dblp}, number = {1-3}, pages = {155-201}, timestamp = {2020-02-22T12:48:16.000+0100}, title = {Type theories, toposes and constructive set theory: predicative aspects of AST.}, url = {http://dblp.uni-trier.de/db/journals/apal/apal114.html#MoerdijkP02}, volume = 114, year = 2002 }