Nominal Domain Theory for Concurrency.

David Turner, Glynn Winskel

Browse the full CSL paper archive.