Publications

Journal articles

Conferences

Submitted

  • M. Benini, R. Bonacina, Strong normalisation of Martin-Lof type theory, submitted to The Journal of Symbolic Logic (2020).

%d bloggers like this: