Voor de beste ervaring schakelt u JavaScript in en gebruikt u een moderne browser!
EN

dhr. dr. B. (Benno) van den Berg

Faculteit der Natuurwetenschappen, Wiskunde en Informatica
ILLC

Bezoekadres
  • Science Park 105
  • Kamernummer: F2.43
Postadres
  • Postbus 94242
    1090 GE Amsterdam
Contactgegevens
  • Publicaties

    2018

    2017

    2015

    2014

    • van den Berg, B., & Heunen, C. (2014). Extending obstruction to noncommutative functorial spectra. Theory and Applications of Categories, 29, 457-474. [17]. [details]
    • van den Berg, B., & Moerdijk, I. (2014). The axiom of multiple choice and models for constructive set theory. Journal of Mathematical Logic, 14(1), [1450005]. https://doi.org/10.1142/S0219061314500056 [details]

    2013

    Lidmaatschap

    • van den Berg, B. (2016). PC membership, TACL 2017, Prague, Czech Republic.

    Spreker

    • van den Berg, B. (speaker) (28-8-2018). Univalent polymorphism, Utrecht topology feest, Utrecht.
    • van den Berg, B. (speaker) (6-7-2018). Two observations on intuitionistic logic and arithmetic, HIM: Workshop: Proofs and Computation, Bonn.
    • van den Berg, B. (speaker) (5-6-2018). Univalent polymorphism, HIM: Workshop: Types, Homotopy Type theory, and Verification, Bonn.
    • van den Berg, B. (speaker) (30-5-2018). Path categories, 4th Workshop on Categorical Algebra, Gargnano.
    • van den Berg, B. (speaker) (19-4-2018). Homotopy type theory with explicit conversions, Workshop on mixed inductive-coinductive reasoning.
    • van den Berg, B. (speaker) (12-4-2018). Homotopy type theory with explicit conversions, International Workshop on Computational Approaches to the Foundations of Mathematics, Munich.
    • van den Berg, B. (speaker) (13-1-2018). Constructieve taal, KWG Wintersymposium.
    • van den Berg, B. (speaker) (9-3-2017). Arithmetical conservation results and Goodman's Theorem, Operations, Sets and Types, Bern, Switzerland.
    • van den Berg, B. (speaker) (4-8-2016). Homotopy type theory via path categories, Logic Colloquium Leeds 2016.
    This list of publications is extracted from the UvA-Current Research Information System. Questions? Ask the library or the Pure staff of your faculty / institute. Log in to Pure to edit your publications. Log in to Personal Page Publication Selection tool to manage the visibility of your publications on this list.
  • Nevenwerkzaamheden
    • Geen nevenwerkzaamheden