Search results
Results: 23
Number of items: 23
-
van den Berg, B., & Briët, M. (2026). Arrow algebras. Annals of Pure and Applied Logic, 177(3), Article 103664. https://doi.org/10.1016/j.apal.2025.103664 -
van den Berg, B., & Geerligs, F. (2025). Examples and cofibrant generation of effective Kan fibrations. Journal of Pure and Applied Algebra, 229(1), Article 107812. https://doi.org/10.1016/j.jpaa.2024.107812
-
Otten, D., & van den Berg, B. (2024). Conservativity of Type Theory over Higher-Order Arithmetic. In A. Murano, & A. Silva (Eds.), 32nd EACSL Annual Conference on Computer Science Logic: CSL 2024, February 19-23, 2024, Naples, Italy Article 44 (Leibniz International Proceedings in Informatics; Vol. 288). Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.CSL.2024.44
-
Figueroa, D., & van den Berg, B. (2022). A topos for continuous logic. Theory and Applications of Categories, 38, 1108–1135. Article 28. http://www.tac.mta.ca/tac/volumes/38/28/38-28abs.html
-
van den Berg, B., & Faber, E. (2022). Effective Kan fibrations in simplicial sets. (Lecture Notes in Mathematics; Vol. 2321). Springer. https://doi.org/10.1007/978-3-031-18900-5
-
van den Berg, B., & Passmann, R. (2022). Converse extensionality and apartness. Logical Methods in Computer Science, 18(4), Article 13. https://doi.org/10.46298/LMCS-18(4:13)2022, https://doi.org/10.48550/arXiv.2103.14482
-
van den Berg, B., & Bos, R. (2022). Logica Wiskunde D. Wiskunde D Online. https://leren.wiskundedonline.nl/course/view.php?id=3§ion=3
-
van den Berg, B. (2020). Univalent polymorphism. Annals of Pure and Applied Logic, 171(6), Article 102793. https://doi.org/10.1016/j.apal.2020.102793
-
van den Berg, B., & Sanders, S. (2019). Reverse Mathematics and parameter-free Transfer. Annals of Pure and Applied Logic, 170(3), 273–296. https://doi.org/10.1016/j.apal.2018.10.003
Page 1 of 3