EasyChair Smart SlideUser guide
Author: Olivier Laurent

This page shows all presentations of this author published in EasyChair Smart Slide.

Bottom-up Sequentialization of Unit-Free MALL Proof Nets

Bottom-up Sequentialization of Unit-Free MALL Proof Nets

Rémi Di Guardia and Olivier Laurent

Around Classical and Intuitionistic Linear Logics

Around Classical and Intuitionistic Linear Logics

Olivier Laurent

Intersection Subtyping with Constructors

Intersection Subtyping with Constructors

Olivier Laurent

Preliminary Report on the Yalla Library

Preliminary Report on the Yalla Library

Olivier Laurent

Presentations in this collection: 4
Copyright © 2002 – 2026 EasyChair