research
∙
04/11/2023
Canonicity in Modal Lambda Calculus
In this paper we investigate the Curry-Howard-Lambek correspondence for ...
share
research
∙
02/11/2023
Coherence by Normalization for Linear Multicategorical Structures
We establish a formal correspondence between resource calculi and approp...
research
∙
02/02/2023
From Thin Concurrent Games to Generalized Species of Structures
Two families of denotational models have emerged from the semantic analy...
research
∙
08/06/2020
On the Taylor expansion of λ-terms and the groupoid structure of their rigid approximants
We show that the normal form of the Taylor expansion of a λ-term is isom...
research
∙
02/04/2020
Intersection Type Distributors
Building on previous works, we present a general method to define proof ...
research
∙
01/06/2020