The Reflexive CHAM and the Join-Calculus.

Cdric Fournet, Georges Gonthier

Browse the full POPL paper archive.