Client-Server Sessions in Linear Logic

Zesen Qian^*, G. A. Kavvos^*, Lars Birkedal^*

^*Corresponding author for this work

Department of Computer Science

Research output: Contribution to journal › Article (Academic Journal) › peer-review

13 Citations (Scopus)

136 Downloads (Pure)

1 results
- Title(descending)
- Award date

ICFP Distinguished Paper Award
Qian, Zesen (Recipient), Kavvos, Alex (Recipient) & Birkedal, Lars (Recipient), 13 Sept 2021
Prize: Prizes, Medals, Awards and Grants