Journal articles

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



  • M. Benini, R. Bonacina, Strong normalisation of Martin-Lof type theory, submitted to The Journal of Symbolic Logic.
  • R. Bonacina, D. Wessel, Another perspective on Menger’s theorem, submitted to Mathematica Slovaca.

%d bloggers like this: