research
∙
08/15/2023
Infinitary cut-elimination via finite approximations
We investigate non-wellfounded proof systems based on parsimonious logic...
share
research
∙
05/22/2023
Graphical Proof Theory I: Multiplicative Linear Logic Beyond Cographs
Cographs are a class of (undirected) graphs, characterized by the absenc...
research
∙
04/11/2023
Canonicity in Modal Lambda Calculus
In this paper we investigate the Curry-Howard-Lambek correspondence for ...
research
∙
12/30/2021
A Deep Inference System for Differential Linear Logic
Differential linear logic (DiLL) provides a fine analysis of resource co...
research
∙
12/30/2021
Exponentially Handsome Proof Nets and Their Normalization
Handsome proof nets were introduced by Retoré as a syntax for multiplica...
research
∙
12/02/2020