EasyChair Smart SlideUser guide
Author: Willem Heijltjes

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

Normalization Without Syntax

Normalization Without Syntax

Willem Heijltjes, Dominic Hughes and Lutz Straßburger

An introduction to deep inference

An introduction to deep inference

Willem Heijltjes

Proof nets for bi-intuitionistic linear logic

Proof nets for bi-intuitionistic linear logic

Willem Heijltjes and Gianluigi Bellin

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