| Types are weak ω-groupoids B van den Berg, R Garner Proceedings of the London Mathematical Society 102 (2), 370-394, 2011 | 207 | 2011 |
| Topological and simplicial models of identity types B Van Den Berg, R Garner ACM transactions on computational logic (TOCL) 13 (1), 1-44, 2012 | 107 | 2012 |
| A functional interpretation for nonstandard arithmetic B van den Berg, E Briseid, P Safarik Annals of Pure and Applied Logic 163 (12), 1962-1994, 2012 | 84 | 2012 |
| Exact completion of path categories and algebraic set theory: Part I: Exact completion of path categories B van den Berg, I Moerdijk Journal of Pure and Applied Algebra 222 (10), 3137-3181, 2018 | 49* | 2018 |
| Path categories and propositional identity types BVD Berg ACM Transactions on Computational Logic (TOCL) 19 (2), 1-32, 2018 | 46 | 2018 |
| Noncommutativity as a colimit B van den Berg, C Heunen Applied Categorical Structures 20 (4), 393-414, 2012 | 42 | 2012 |
| Predicative topos theory and models for constructive set theory B van den Berg Phd, University of Utrecht, 2006 | 33 | 2006 |
| Non-well-founded trees in categories B van den Berg, F De Marchi Annals of Pure and Applied Logic 146 (1), 40-59, 2007 | 32 | 2007 |
| Aspects of predicative algebraic set theory, II: Realizability B van den Berg, I Moerdijk Theoretical Computer Science 412 (20), 1916-1940, 2011 | 30 | 2011 |
| Aspects of predicative algebraic set theory I: Exact completion B van den Berg, I Moerdijk Annals of Pure and Applied Logic 156 (1), 123-159, 2008 | 30 | 2008 |
| Inductive types and exact completion B van den Berg Annals of Pure and Applied Logic 134 (2-3), 95-121, 2005 | 26 | 2005 |
| A unified approach to algebraic set theory B van den Berg, I Moerdijk Logic Colloquium, 18-37, 2006 | 22 | 2006 |
| W-types in homotopy type theory B Van Den Berg, I Moerdijk Mathematical Structures in Computer Science 25 (5), 1100-1115, 2015 | 19 | 2015 |
| The axiom of multiple choice and models for constructive set theory B van den Berg, I Moerdijk Journal of Mathematical Logic 14 (01), 1450005, 2014 | 18 | 2014 |
| Univalent polymorphism B van den Berg Annals of Pure and Applied Logic 171 (6), 102793, 2020 | 16 | 2020 |
| A homotopy-theoretic model of function extensionality in the effective topos D Frumin, B Van den Berg Mathematical Structures in Computer Science 29 (4), 588-614, 2019 | 15 | 2019 |
| Models of non-well-founded sets via an indexed final coalgebra theorem B Van Den Berg, F De Marchi The Journal of Symbolic Logic 72 (3), 767-791, 2007 | 14 | 2007 |
| Non-deterministic inductive definitions B van den Berg Archive for Mathematical Logic 52 (1), 113-135, 2013 | 13 | 2013 |
| Derived rules for predicative set theory: an application of sheaves B van den Berg, I Moerdijk Annals of pure and applied logic 163 (10), 1367-1383, 2012 | 13 | 2012 |
| Sheaves for predicative toposes B van den Berg arXiv preprint math.LO/0507480 1, 2005 | 13 | 2005 |
I. Moerdijkhoogleraar wiskunde, Universiteit UtrechtAdresse e-mail validée de uu.nl
