Paolo Pistone (Tübingen Univ. (DE)), Coends and proof equivalence in second order multiplicative linear logic

Programme