CHOCOLATE: Calculi of Higher Order COmmunication and LAmbda TErms.

Bard Bloom

Browse the full POPL paper archive.