Follow
Benno van den Berg
Benno van den Berg
Assistant professor, University of Amsterdam
Verified email at uva.nl
Title
Cited by
Cited by
Year
Types are weak ω-groupoids
B van den Berg, R Garner
Proceedings of the London Mathematical Society 102 (2), 370-394, 2011
1782011
Topological and simplicial models of identity types
B Van Den Berg, R Garner
ACM transactions on computational logic (TOCL) 13 (1), 1-44, 2012
942012
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
762012
Noncommutativity as a colimit
B Van Den Berg, C Heunen
Applied Categorical Structures 20 (4), 393-414, 2012
352012
Path categories and propositional identity types
BVD Berg
ACM Transactions on Computational Logic (TOCL) 19 (2), 1-32, 2018
332018
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
32*2018
Predicative topos theory and models for constructive set theory
B van den Berg
Phd, University of Utrecht, 2006
322006
Non-well-founded trees in categories
B van den Berg, F De Marchi
Annals of Pure and Applied Logic 146 (1), 40-59, 2007
302007
Aspects of predicative algebraic set theory, II: Realizability
B van den Berg, I Moerdijk
Theoretical Computer Science 412 (20), 1916-1940, 2011
282011
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
252008
Inductive types and exact completion
B Van Den Berg
Annals of Pure and Applied Logic 134 (2-3), 95-121, 2005
252005
A unified approach to algebraic set theory
B van den Berg, I Moerdijk
Logic Colloquium, 18-37, 2006
222006
W-types in homotopy type theory
B Van Den Berg, I Moerdijk
Mathematical Structures in Computer Science 25 (5), 1100-1115, 2015
162015
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
152014
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
142007
Sheaves for predicative toposes
B Van Den Berg
arXiv preprint math.LO/0507480 1, 2005
132005
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
122019
Non-deterministic inductive definitions
B van den Berg
Archive for Mathematical Logic 52 (1), 113-135, 2013
122013
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
112012
The Herbrand topos
B Van den Berg
Mathematical Proceedings of the Cambridge Philosophical Society 155 (2), 361-374, 2013
102013
The system can't perform the operation now. Try again later.
Articles 1–20