Gordon D. Plotkin, Glynn Winskel
Bistructures, Bidomains and Linear Logic
ICALP, 1994.
@inproceedings{ICALP-1994-PlotkinW, author = "Gordon D. Plotkin and Glynn Winskel", booktitle = "{Proceedings of the 21st International Colloquium on Automata, Languages and Programming}", doi = "10.1007/3-540-58201-0_81", isbn = "3-540-58201-0", pages = "352--363", publisher = "{Springer-Verlag}", series = "{Lecture Notes in Computer Science}", title = "{Bistructures, Bidomains and Linear Logic}", volume = 820, year = 1994, }