research
∙
03/13/2023
Cartesian Coherent Differential Categories
We extend to general Cartesian categories the idea of Coherent Different...
share
research
∙
12/05/2022
Integration in Cones
Measurable cones, with linear and measurable functions as morphisms, are...
research
∙
05/09/2022
A coherent differential PCF
The categorical models of the differential lambda-calculus are additive ...
research
∙
07/12/2021
Coherent differentiation
The categorical models of the differential lambda-calculus are additive ...
research
∙
11/19/2020
Categorical models of Linear Logic with fixed points of formulas
We develop a denotational semantics of muLL, a version of propositional ...
research
∙
08/11/2020
Upper approximating probabilities of convergence in probabilistic coherence spaces
We develop a theory of probabilistic coherence spaces equipped with an a...
research
∙
05/26/2020
Differentials and distances in probabilistic coherence spaces (extended version)
In probabilistic coherence spaces, a denotational model of probabilistic...
research
∙
01/13/2020
On the linear structure of cones
For encompassing the limitations of probabilistic coherence spaces which...
research
∙
11/05/2019
Non-idempotent intersection types in logical form
Intersection types are an essential tool in the analysis of operational ...
research
∙
06/13/2019
On the denotational semantics of Linear Logic with least and greatest fixed points of formulas
We develop a denotational semantics of Linear Logic with least and great...
research
∙
04/12/2019
Proceedings Joint International Workshop on Linearity Trends in Linear Logic and Applications
This volume contains a selection of papers presented at Linearity/TLLA 2...
research
∙
02/13/2019
Differentials and distances in probabilistic coherence spaces
In probabilistic coherence spaces, a denotational model of probabilistic...
research
∙
11/27/2017