Taking Linear Logic Apart (2018)

First Author: Kokke W
Attributed to:  From Data Types to Session Types---A Basis for Concurrency and Distribution funded by EPSRC

Abstract

No abstract provided

Bibliographic Information

Publication URI: https://wenkokke.github.io/pubs/tlla2018.pdf

Type: Conference/Paper/Proceeding/Abstract