Title :
Proof nets for unit-free multiplicative-additive linear logic (extended abstract)
Author :
Hughes, Dominic ; Van Glabbeek, Rob
Author_Institution :
Stanford University
Keywords :
Joining processes; Logic;
Conference_Titel :
Logic in Computer Science, 2003. Proceedings. 18th Annual IEEE Symposium on
Print_ISBN :
0-7695-1884-2
DOI :
10.1109/LICS.2003.1210039
