An Ad-Hoc Semantics to Study Structural Properties of Types

von Benini, Marco
Veröffentlicht in International Autumn School "Proof and Computation" (2019 : Herrsching a. Ammersee) Proof and computation II (2022)