Journal articles
- R. Bonacina, D. Wessel, Ribenboim’s order extension theorem from a constructive point of view, Algebra Universalis (2020), 81:5.
- M. Benini, R. Bonacina, Well-quasi orders in a categorical setting, Archive for Mathematical Logic (2019), 58, pp 501-526 – preprint.
Book chapters
- M. Benini, R. Bonacina, An Ad-Hoc Semantics to Study Structural Properties of Types, K. Mainzer, H. Schwichtenberg, P. Schuster eds., Proof and Computation II, World Scientific.
Conferences
- B. Ahrens, R. Bonacina, N. Kraus, Syntax for two-level type theory, HoTT/UF 2021.
- R. Bonacina, B. Ahrens, Syntax for two-level type theory, TYPES 2021.
- M. Benini, R. Bonacina, A proof-theoretical semantics for homotopy type theory, HoTT/UF 2020.
- M. Benini, R. Bonacina, Natural Numbers in Homotopy Type Theory, TYPES 2020, Università di Torino.