3 citations · 3 across the 3 of their papers we have counts for
1 paper · 1 filter
Roberto Amadio, Patrick Baillot, Antoine Madet
We present an affine-intuitionistic system of types and effects which can be regarded as an extension of Barber-Plotkin Dual Intuitionistic Linear Logic to multi-threaded programs…