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

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

    2019

    • van den Berg, B. (2019). A Kuroda-style j-translation. Archive for Mathematical Logic, 58(5-6), 627–634.
    • van den Berg, B., & Frumin, D. (2019). A homotopy-theoretic model of function extensionality in the effective topos. Mathematical Structures in Computer Science, 29(4), 588-614.
    • van den Berg, B., & Sanders, S. (2019). Reverse Mathematics and parameter-free Transfer. Annals of Pure and Applied Logic, 170(3), 273–296.

    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) (20-12-2019). Homotopy Type Theory with Explicit Conversions, Foundations and applications of univalent mathematics, Herrsching, Germany.
    • van den Berg, B. (speaker) (20-11-2019). Uniform Kan fibrations in simplicial sets, Homotopy Type Theory Electronic Seminar.
    • van den Berg, B. (speaker) (6-11-2019). Uniform Kan fibrations in simplicial sets, University of Stockholm.
    • van den Berg, B. (speaker) (30-10-2019). Propositielogica, Lang leve de logica!, Amsterdam, Netherlands.
    • van den Berg, B. (speaker) (17-10-2019). Toposes for modified realizability, University of Cambridge, UK.
    • van den Berg, B. (speaker) (15-8-2019). Uniform Kan fibrations in simplicial sets, Homotopy Type Theory 2019, Pittsburgh, United States.
    • van den Berg, B. (speaker) (8-7-2019). Uniform Kan fibrations in simplicial sets, Category Theory 2019, Edinburgh, United Kingdom.
    • van den Berg, B. (speaker) (2-7-2019). Toposes for modified realizability, Facets of realizability, cachan, France.
    • 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.

    Andere

    • van den Berg, B. (participant) (28-3-2019). Leve de Logica!, Amsterdam, Netherlands (organising a conference, workshop, ...).
    • van den Berg, B. (other) (1-9-2013 - 31-12-2019). OC Wiskunde (other).
    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