dhr. dr. B. van den Berg
-
Faculteit der Natuurwetenschappen, Wiskunde en Informatica
ILLC
-
POSTBUS
94242
1090 GE Amsterdam
-
B.vandenBerg3@uva.nl
2014
- B. van den Berg & C. Heunen (2014). Extending obstruction to noncommutative functorial spectra. Theory and Applications of Categories, 29 (17), 457-474.
- B. van den Berg & A. Hadzihasanovic (in press). Nonstandard functional interpretations and categorical models. Notre Dame Journal of Formal Logic.
- B. van den Berg & I. Moerdijk (in press). W-types in homotopy type theory. Mathematical Structures in Computer Science.
- B. van den Berg & I. Moerdijk (2014). The axiom of multiple choice and models for constructive set theory. Journal of Mathematical Logic, 14 (1).
2013
- B. van den Berg (2013). The Herband topos. Mathematical Proceedings of the Cambridge Philosophical Society, 155 (2), 361-374. doi: 10.1017/S0305004113000303
This page has been automatically generated by the UvA-Current Research Information System. If you have any questions about the content of this page, please contact the UBAcoach or the Metis staff of your faculty / institute. To edit your publications login to Personal Metis.
- Geen nevenwerkzaamheden