DocumentCode

1615458

Title

Proof nets for unit-free multiplicative-additive linear logic (extended abstract)

Author

Hughes, Dominic ; Van Glabbeek, Rob

Author_Institution

Stanford University

fYear

2003

Firstpage

1

Lastpage

10

Keywords

Joining processes; Logic;

fLanguage

English

Publisher

ieee

Conference_Titel

Logic in Computer Science, 2003. Proceedings. 18th Annual IEEE Symposium on

ISSN

1043-6871

Print_ISBN

0-7695-1884-2

Type

conf

DOI

10.1109/LICS.2003.1210039

Filename

1210039