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 (accepted).
- 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).
