EasyChair Smart SlideDocs/Log in
Conference: TLLA-LINEARITY-2022 (Third Joint Workshop on Linearity in Logic and Computer Science and its Applications)

This page shows all presentations from this conference 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

Parametric Chu Translation

Parametric Chu Translation

Siva Somayyajula

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

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

Anderson Beraldo-de-Araujo

Peano Arithmetic and muMALL: an Extended Abstract

Peano Arithmetic and muMALL: an Extended Abstract

Matteo Manighetti and Dale Miller

Denotational Semantics Driven Simplicial Homology?

Denotational Semantics Driven Simplicial Homology?

Davide Barbarossa

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