nLab Benno van den Berg

• website

Selected writings

• Benno van den Berg, Freek Geerligs, Examples and cofibrant generation of effective Kan fibrations (pdf)

On infinity-groupoid/omega-groupoid-structure on types in homotopy type theory:

• Benno van den Berg, Richard Garner, Types are weak omega-groupoids, Proceedings of the London Mathematical Society 102 2 (2011) 370-394 [arXiv:0812.0298, doi:10.1112/plms/pdq026]

On a topos for continuous logic:

• Daniel Figueroa, Benno van den Berg, A topos for continuous logic (arXiv:2107.10543)

On objective type theory:

• Benno van den Berg, Martijn den Besten, Quadratic type checking for objective type theory (arXiv:2102.00905)

category: people