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
1902011
Topological and simplicial models of identity types
B Van Den Berg, R Garner
ACM transactions on computational logic (TOCL) 13 (1), 1-44, 2012
982012
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
812012
Path categories and propositional identity types
BVD Berg
ACM Transactions on Computational Logic (TOCL) 19 (2), 1-32, 2018
402018
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
39*2018
Noncommutativity as a colimit
B van den Berg, C Heunen
Applied Categorical Structures 20 (4), 393-414, 2012
362012
Predicative topos theory and models for constructive set theory
B van den Berg
Phd, University of Utrecht, 2006
332006
Non-well-founded trees in categories
B van den Berg, F De Marchi
Annals of Pure and Applied Logic 146 (1), 40-59, 2007
322007
Aspects of predicative algebraic set theory, II: Realizability
B van den Berg, I Moerdijk
Theoretical Computer Science 412 (20), 1916-1940, 2011
292011
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
282008
Inductive types and exact completion
B van den Berg
Annals of Pure and Applied Logic 134 (2-3), 95-121, 2005
262005
A unified approach to algebraic set theory
B van den Berg, I Moerdijk
Logic Colloquium, 18-37, 2006
222006
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
182014
W-types in homotopy type theory
B Van Den Berg, I Moerdijk
Mathematical Structures in Computer Science 25 (5), 1100-1115, 2015
172015
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
142019
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
Non-deterministic inductive definitions
B van den Berg
Archive for Mathematical Logic 52 (1), 113-135, 2013
132013
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
132012
Sheaves for predicative toposes
B van den Berg
arXiv preprint math.LO/0507480 1, 2005
132005
Univalent polymorphism
B van den Berg
Annals of Pure and Applied Logic 171 (6), 102793, 2020
112020
The system can't perform the operation now. Try again later.
Articles 1–20