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

%d bloggers like this: