EasyChair Smart SlideDocs/Log in
Conference: Linearity/TLLA 2018 (Joint Linearity and TLLA workshops (part of FLOC 2018))

This page shows all presentations from this conference published in EasyChair Smart Slide.

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

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

Lionel Vaux Auclair and Federico Olimpieri

The Bang Calculus and the Two Girard's Translations

The Bang Calculus and the Two Girard's Translations

Giulio Guerrieri and Giulio Manzonetto

The structure of non decomposable connectives of linear logic

The structure of non decomposable connectives of linear logic

Roberto Maieli

Substructural Calculi with Dependent Types

Substructural Calculi with Dependent Types

Zhaohui Luo

Quantum programming made easy

Quantum programming made easy

Luca Paolini, Luca Roversi and Margherita Zorzi

How to count linear and affine closed lambda terms?

How to count linear and affine closed lambda terms?

Pierre Lescanne

From Linear Logic to Cyclic Sharing

From Linear Logic to Cyclic Sharing

Masahito Hasegawa

Presentations in this collection: 7
Copyright © 2002 – 2024 EasyChair