Benno van den Berg

Types are weak ω‐groupoids

Benno van den Berg, Richard Garner, 2008, 0812.0298.

πdist: Towards a Typed π-calculus for Distributed Programming Languages

R. de Wolf, Christian Schaffner, Tijs van der Storm, 2015 .

Determinacy and measurable cardinals in HOD

J. Väänänen, B. Löwe, Benno van den Berg, 2022 .

Non-deterministic inductive definitions

Benno van den Berg, 2012, Archive for Mathematical Logic.

Aspects of predicative algebraic set theory III: sheaves

I. Moerdijk, Benno van den Berg, 2009, 0912.1242.