Better Late Than Never: A Fully-abstract Semantics for Classical Processes

Research output: Contribution to journalJournal articleResearchpeer-review

204 Downloads (Pure)
Article in proceedings

Search results

  • 2019

    Taking Linear Logic Apart

    Kokke, W., Montesi, F. & Peressotti, M., 15. Apr 2019, Proceedings of the Joint International Workshop on Linearity Trends in linear Logic and Applications. Ehrhard, T., Fernández, M., de Paiva, V. & Tortora de Falco, L. (eds.). Open Publishing Association, Vol. 292. p. 90-103 (Electronic Proceedings in Theoretical Computer Science, EPTCS, Vol. 292).

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

    Open Access
    58 Downloads (Pure)