Publications

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

Conferences

Submitted

  • R. Bonacina, D. Wessel, A formal approach to Menger’s theorem, submitted to Monatshefte für Mathematik.

%d bloggers like this: