Benno van den Berg

Publication Activity (10 Years)

Years Active: 2005-2024
Publications (10 Years): 18

Top Topics

Relational Calculus

Query Processor

Top Venues

Math. Struct. Comput. Sci.

Arch. Math. Log.

Ann. Pure Appl. Log.

Publications

Daniël Otten, Benno van den Berg
Conservativity of Type Theory over Higher-Order Arithmetic. CSL (2024)
Benno van den Berg, Daniel Otten
Conservativity of Type Theory over Higher-order Arithmetic. CoRR (2023)
Benno van den Berg, Robert Paßmann
Converse extensionality and apartness. Log. Methods Comput. Sci. 18 (4) (2022)
Benno van den Berg, Robert Paßmann
Converse extensionality and apartness. CoRR (2021)
Benno van den Berg, Martijn den Besten
Quadratic type checking for objective type theory. CoRR (2021)
Benno van den Berg, Eric Faber
Effective Kan fibrations in simplicial sets. CoRR (2020)
Benno van den Berg
Univalent polymorphism. Ann. Pure Appl. Log. 171 (6) (2020)
Daniil Frumin, Benno van den Berg
A homotopy-theoretic model of function extensionality in the effective topos. Math. Struct. Comput. Sci. 29 (4) (2019)
Benno van den Berg
A Kuroda-style j-translation. Arch. Math. Log. 58 (5-6) (2019)
Benno van den Berg, Sam Sanders
Reverse Mathematics and parameter-free Transfer. Ann. Pure Appl. Log. 170 (3) (2019)
Benno van den Berg
Path Categories and Propositional Identity Types. ACM Trans. Comput. Log. 19 (2) (2018)
Benno van den Berg
Univalent polymorphism. CoRR (2018)
Benno van den Berg, Ieke Moerdijk
W-types in homotopy-type theory - CORRIGENDUM. Math. Struct. Comput. Sci. 28 (1) (2018)
Daniil Frumin, Benno van den Berg
A homotopy-theoretic model of function extensionality in the effective topos. CoRR (2017)
Benno van den Berg, Eyvind Martol Briseid, Pavol Safarik
The strength of countable saturation. Arch. Math. Log. 56 (5-6) (2017)
Amar Hadzihasanovic, Benno van den Berg
Nonstandard Functional Interpretations and Categorical Models. Notre Dame J. Formal Log. 58 (3) (2017)
Benno van den Berg
A note on equality in finite-type arithmetic. Math. Log. Q. 63 (3-4) (2017)
Benno van den Berg, Ieke Moerdijk
W-types in homotopy type theory. Math. Struct. Comput. Sci. 25 (5) (2015)
Benno van den Berg, Ieke Moerdijk
The axiom of multiple choice and models for constructive set theory. J. Math. Log. 14 (1) (2014)
Benno van den Berg
Non-deterministic inductive definitions. Arch. Math. Log. 52 (1-2) (2013)
Peter Aczel, Benno van den Berg, Johan Georg Granström, Peter Schuster
Are There Enough Injective Sets? Stud Logica 101 (3) (2013)
Benno van den Berg, Chris Heunen
Erratum to: Noncommutativity as a Colimit. Appl. Categorical Struct. 21 (1) (2013)
Benno van den Berg, Eyvind Martol Briseid, Pavol Safarik
A functional interpretation for nonstandard arithmetic. Ann. Pure Appl. Log. 163 (12) (2012)
Benno van den Berg, Chris Heunen
Noncommutativity as a Colimit. Appl. Categorical Struct. 20 (4) (2012)
Benno van den Berg, Ieke Moerdijk
Derived rules for predicative set theory: An application of sheaves. Ann. Pure Appl. Log. 163 (10) (2012)
Benno van den Berg, Richard Garner
Topological and Simplicial Models of Identity Types. ACM Trans. Comput. Log. 13 (1) (2012)
Benno van den Berg, Chris Heunen
No-go theorems for functorial localic spectra of noncommutative rings. QPL (2011)
Benno van den Berg, Ieke Moerdijk
Aspects of predicative algebraic set theory, II: Realizability. Theor. Comput. Sci. 412 (20) (2011)
Benno van den Berg
Three extensional models of type theory. Math. Struct. Comput. Sci. 19 (2) (2009)
Benno van den Berg, Ieke Moerdijk
Aspects of predicative algebraic set theory I: Exact completion. Ann. Pure Appl. Log. 156 (1) (2008)
Benno van den Berg, Federico De Marchi
Non-well-founded trees in categories. Ann. Pure Appl. Log. 146 (1) (2007)
Federico De Marchi, Benno van den Berg
Models of non-well-founded sets via an indexed final coalgebra theorem. J. Symb. Log. 72 (3) (2007)
Benno van den Berg
Inductive types and exact completion. Ann. Pure Appl. Log. 134 (2-3) (2005)