Client-Server Sessions in Linear Logic

Research output: Working paperResearchpeer-review

Original languageEnglish
PublisherarXiv.org
Number of pages36
Publication statusPublished - 2020

See relations at Aarhus University Citationformats

ID: 202461146