FLOC 2022: FEDERATED LOGIC CONFERENCE 2022
SLIDES

Parametric Chu Translation

Siva Somayyajula

Bottom-up Sequentialization of Unit-Free MALL Proof Nets

Rémi Di Guardia and Olivier Laurent

Peano Arithmetic and muMALL: an Extended Abstract

Matteo Manighetti and Dale Miller

Cloning and Deleting Quantum Information from a Linear Logical Point of View

Anderson Beraldo-de-Araujo

Denotational Semantics Driven Simplicial Homology?

Davide Barbarossa
Total: 5 presentations.