MSC > 03Fxx Proof theory and constructive mathematics > 03F52 Linear logic and other substructural logics

Videos linked to 03F52 Linear logic and other substructural logics

01:44:57

published on February 14, 2022

Deux ou trois choses que je sais d'elle : la logique

By Jean-Yves Girard

34:22

published on February 14, 2022

Heterodox exponential modalities in linear logic

By Damiano Mazza

28:43

published on February 14, 2022

Focused proof systems

By Dale Miller

More +