Full Abstraction for Resource Calculus with Tests.

Antonio Bucciarelli, Alberto Carraro, Thomas Ehrhard, Giulio Manzonetto

Browse the full CSL paper archive.