van de Pol, I., Steinert-Threlkeld, S., Szymanik, J. (2019) Complexity and learnability in the explanation of semantic universals of quantifiers.

In Goel, A.K. Seifert, C.M. Freksa, C. (Eds.), Creativity + cognition + computation: 41st Annual Meeting of the Cognitive Science Society (CogSci 2019) : Montreal, Canada, 24-27 July 2019 (pp 3015-3021). Cognitive Science Society.

van de Pol, I., van Rooij, I., Szymanik, J. (2016) Parameterized Complexity Results for a Model of Theory of Mind Based on Dynamic Epistemic Logic.

Electronic Proceedings in Theoretical Computer Science, Vol. 215 (pp 246-263)

Article | https://doi.org/10.4204/EPTCS.215.18 | UvA-DARE

van de Pol, I., van Rooij, I., Szymanik, J. (2018) Parameterized complexity of theory of mind reasoning in dynamic epistemic logic.

Journal of Logic, Language and Information, Vol. 27 (pp 255-294)

Article | https://doi.org/10.1007/s10849-018-9268-4 | UvA-DARE

van den Berg, B., Bos, R. (2022) Logica Wiskunde D.

Wiskunde D Online.

Book | https://leren.wiskundedonline.nl/course/view.php?id=3&section=3 | UvA-DARE

van den Berg, B., Briseid, E., Safarik, P. (2017) The strength of countable saturation.

Archive for Mathematical Logic, Vol. 56 (pp 699-711)

Article | https://doi.org/10.1007/s00153-017-0567-2 | UvA-DARE

van den Berg, B., Faber, E. (2022) Effective Kan fibrations in simplicial sets.

Lecture Notes in Mathematics, Vol. 2321. Springer.

Book | https://doi.org/10.1007/978-3-031-18900-5 | UvA-DARE

van den Berg, B., Heunen, C. (2014) Extending obstruction to noncommutative functorial spectra.

Theory and Applications of Categories, Vol. 29 (pp 457-474)

Article | http://www.tac.mta.ca/tac/volumes/29/17/29-17abs.html | UvA-DARE

van den Berg, B., Moerdijk, I. (2014) The axiom of multiple choice and models for constructive set theory.

Journal of Mathematical Logic, Vol. 14

Article | https://doi.org/10.1142/S0219061314500056 | UvA-DARE

van den Berg, B., Moerdijk, I. (2015) W-types in homotopy type theory.

Mathematical Structures in Computer Science, Vol. 25 (pp 1100-1115)

Article | https://doi.org/10.1017/S0960129514000516 | UvA-DARE

van den Berg, B., Moerdijk, I. (2018) Univalent completion.

Mathematische Annalen, Vol. 371 (pp 1337–1350)

Article | https://doi.org/10.1007/s00208-017-1614-3 | UvA-DARE

van den Berg, B., Moerdijk, I. (2018) Exact completion of path categories and algebraic set theory: Part I: Exact completion of path categories.

Journal of Pure and Applied Algebra, Vol. 222 (pp 3137-3181)

Article | https://doi.org/10.1016/j.jpaa.2017.11.017 | UvA-DARE

van den Berg, B., Passmann, R. (2022) Converse extensionality and apartness.

Logical Methods in Computer Science, Vol. 18

Article | https://doi.org/10.46298/LMCS-18(4:13)2022 | UvA-DARE

van den Berg, B., Sanders, S. (2019) Reverse Mathematics and parameter-free Transfer.

Annals of Pure and Applied Logic, Vol. 170 (pp 273–296)

Article | https://doi.org/10.1016/j.apal.2018.10.003 | UvA-DARE

van den Berg, B., van Slooten, L. (2018) Arithmetical conservation results.

Indagationes Mathematicae, Vol. 29 (pp 260-275)

Article | https://doi.org/10.1016/j.indag.2017.07.009 | UvA-DARE

van den Berg, B. (2013) The Herbrand topos.

Mathematical Proceedings of the Cambridge Philosophical Society, Vol. 155 (pp 361-374)

Article | https://doi.org/10.1017/S0305004113000303 | UvA-DARE

van den Berg, B. (2017) A note on equality in finite-type arithmetic.

Mathematical Logic Quarterly, Vol. 63 (pp 282-288)

Article | https://doi.org/10.1002/malq.201600080 | UvA-DARE

van den Berg, B. (2018) Path categories and propositional identity types.

ACM Transactions on Computational Logic, Vol. 19

Article | https://doi.org/10.1145/3204492 | UvA-DARE

van den Berg, B. (2019) A Kuroda-style j-translation.

Archive for Mathematical Logic, Vol. 58 (pp 627–634)

Article | https://doi.org/10.1007/s00153-018-0656-x | UvA-DARE

van den Berg, B. (2020) Univalent polymorphism.

Annals of Pure and Applied Logic, Vol. 171

Article | https://doi.org/10.1016/j.apal.2020.102793 | UvA-DARE

van den Berg, H., Betti, A., Castermans, T., Koopman, R., Speckmann, B., Verbeek, K., van der Werf, T., Wang, S., Westenberg, M.A. (2018) A Philosophical Perspective on Visualization for Digital Humanities.

In 3rd Workshop on Visualization for the Digital Humanities: Sunday, 21 October 2018 - Berlin, Germany : accepted papers . VIS4DH.