Journal articles



  • 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).

%d bloggers like this: