"CHOCOLATE: Calculi of Higher Order COmmunication and LAmbda TErms."

Bard Bloom (1994)
a service of Schloss Dagstuhl - Leibniz Center for Informatics