Mathematics
and Interactions

MSC > 03Fxx Proof theory and constructive mathematics > 03F05 Cut-elimination and normal-form theorems

• Videos linked to 03F05 Cut-elimination and normal-form theorems
  

  34:22

  published on February 14, 2022

  Heterodox exponential modalities in linear logic

  By Damiano Mazza

  More +