1 citations · 1 across the 2 of their papers we have counts for
2 papers
cs.PL2017★ 1 cited
Probabilistic Termination by Monadic Affine Sized Typing (Long Version)
Ugo Dal Lago, Charles Grellois
We introduce a system of monadic affine sized types, which substantially generalise usual sized types, and allows this way to capture probabilistic higher-order programs which term…
cs.LO2014
An infinitary model of linear logic
Charles Grellois, Paul-André Melliès
In this paper, we construct an infinitary variant of the relational model of linear logic, where the exponential modality is interpreted as the set of finite or countable multisets…