Benno van den Berg

40 papers B 1Journal 35Unranked 1

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Apartness and the elimination of strong forms of extensionality. Arch. Math. Log. Benno van den Berg
2026	J	`jnl`	Arrow algebras. Ann. Pure Appl. Log. Benno van den Berg, Marcus Briët
2026	J	`jnl`	Constructing (Co)inductive Types via Large Sizes. CoRR Benno van den Berg, Bastiaan Laarakker, Daniël Otten
2025	—	`ed.`	30th International Conference on Types for Proofs and Programs, TYPES 2024, Copenhagen, Denmark, June 10-14, 2024 TYPES Rasmus Ejlers Møgelberg, Benno van den Berg
2024	—	`ed.`	29th International Conference on Types for Proofs and Programs, TYPES 2023, ETSInf, Universitat Politècnica de València, Spain, June 12-16, 2023 TYPES Delia Kesner, Eduardo Hermo Reyes, Benno van den Berg
2024	B	`conf`	Conservativity of Type Theory over Higher-Order Arithmetic. CSL Daniël Otten, Benno van den Berg
2024	J	`jnl`	Preface: Advances in Homotopy Type Theory. Math. Struct. Comput. Sci. Thorsten Altenkirch, Benno van den Berg, Nicola Gambino, Maria Emilia Maietti
2023	J	`jnl`	Conservativity of Type Theory over Higher-order Arithmetic. CoRR Benno van den Berg, Daniël Otten
2022	J	`jnl`	Converse extensionality and apartness. Log. Methods Comput. Sci. Benno van den Berg, Robert Paßmann
2021	J	`jnl`	Converse extensionality and apartness. CoRR Benno van den Berg, Robert Paßmann
2021	J	`jnl`	Quadratic type checking for objective type theory. CoRR Benno van den Berg, Martijn den Besten
2020	J	`jnl`	Effective Kan fibrations in simplicial sets. CoRR Benno van den Berg, Eric Faber
2020	J	`jnl`	Univalent polymorphism. Ann. Pure Appl. Log. Benno van den Berg
2019	J	`jnl`	A Kuroda-style j-translation. Arch. Math. Log. Benno van den Berg
2019	J	`jnl`	A homotopy-theoretic model of function extensionality in the effective topos. Math. Struct. Comput. Sci. Daniil Frumin, Benno van den Berg
2019	J	`jnl`	Reverse Mathematics and parameter-free Transfer. Ann. Pure Appl. Log. Benno van den Berg, Sam Sanders
2018	J	`jnl`	Path Categories and Propositional Identity Types. ACM Trans. Comput. Log. Benno van den Berg
2018	J	`jnl`	Univalent polymorphism. CoRR Benno van den Berg
2018	J	`jnl`	W-types in homotopy-type theory - CORRIGENDUM. Math. Struct. Comput. Sci. Benno van den Berg, Ieke Moerdijk
2017	J	`jnl`	A homotopy-theoretic model of function extensionality in the effective topos. CoRR Daniil Frumin, Benno van den Berg
2017	J	`jnl`	A note on equality in finite-type arithmetic. Math. Log. Q. Benno van den Berg
2017	J	`jnl`	Nonstandard Functional Interpretations and Categorical Models. Notre Dame J. Formal Log. Amar Hadzihasanovic, Benno van den Berg
2017	J	`jnl`	The strength of countable saturation. Arch. Math. Log. Benno van den Berg, Eyvind Martol Briseid, Pavol Safarik
2015	J	`jnl`	W-types in homotopy type theory. Math. Struct. Comput. Sci. Benno van den Berg, Ieke Moerdijk
2014	J	`jnl`	The axiom of multiple choice and models for constructive set theory. J. Math. Log. Benno van den Berg, Ieke Moerdijk
2013	J	`jnl`	Are There Enough Injective Sets? Stud Logica Peter Aczel, Benno van den Berg, Johan Georg Granström, Peter Schuster
2013	J	`jnl`	Erratum to: Noncommutativity as a Colimit. Appl. Categorical Struct. Benno van den Berg, Chris Heunen
2013	J	`jnl`	Non-deterministic inductive definitions. Arch. Math. Log. Benno van den Berg
2012	J	`jnl`	A functional interpretation for nonstandard arithmetic. Ann. Pure Appl. Log. Benno van den Berg, Eyvind Martol Briseid, Pavol Safarik
2012	J	`jnl`	Derived rules for predicative set theory: An application of sheaves. Ann. Pure Appl. Log. Benno van den Berg, Ieke Moerdijk
2012	J	`jnl`	Noncommutativity as a Colimit. Appl. Categorical Struct. Benno van den Berg, Chris Heunen
2012	J	`jnl`	Topological and Simplicial Models of Identity Types. ACM Trans. Comput. Log. Benno van den Berg, Richard Garner
2011	J	`jnl`	Aspects of predicative algebraic set theory, II: Realizability. Theor. Comput. Sci. Benno van den Berg, Ieke Moerdijk
2011	—	`conf`	No-go theorems for functorial localic spectra of noncommutative rings. QPL Benno van den Berg, Chris Heunen
2009	J	`jnl`	Three extensional models of type theory. Math. Struct. Comput. Sci. Benno van den Berg
2008	J	`jnl`	Aspects of predicative algebraic set theory I: Exact completion. Ann. Pure Appl. Log. Benno van den Berg, Ieke Moerdijk
2007	J	`jnl`	Models of non-well-founded sets via an indexed final coalgebra theorem. J. Symb. Log. Federico De Marchi, Benno van den Berg
2007	J	`jnl`	Non-well-founded trees in categories. Ann. Pure Appl. Log. Benno van den Berg, Federico De Marchi
2006	—	`—`	Predicative topos theory and models for constructive set theory. Benno van den Berg
2005	J	`jnl`	Inductive types and exact completion. Ann. Pure Appl. Log. Benno van den Berg