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.
Conferences
- 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.
Submitted
- M. Benini, R. Bonacina, Strong normalisation of Martin-Lof type theory, submitted to The Journal of Symbolic Logic (2020).
- R. Bonacina, D. Wessel, Another perspective on Menger’s theorem, submitted to Mathematica Slovaca (2020).
- M. Benini, R. Bonacina, An Ad-Hoc Semantics to Study Structural Properties of Types, submitted to K. Mainzer, H. Schwichtenberg, P. Schuster eds., Proof and Computation, World Scientific (2020).
