FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
SLIDES

On the Taylor expansion of λ-terms and the groupoid structure of their rigid approximants

Lionel Vaux Auclair and Federico Olimpieri

How to count linear and affine closed lambda terms?

Pierre Lescanne

The Bang Calculus and the Two Girard's Translations

Giulio Guerrieri and Giulio Manzonetto

Substructural Calculi with Dependent Types

Zhaohui Luo

Quantum programming made easy

Luca Paolini, Luca Roversi and Margherita Zorzi

The structure of non decomposable connectives of linear logic

Roberto Maieli

From Linear Logic to Cyclic Sharing

Masahito Hasegawa
Total: 7 presentations.