Publications

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 (to appear).

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.