## Proofs nets for unit-free multiplicativeadditive linear logic (2003)

### Cached

### Download Links

by
Dominic Hughes
,
Rob Van Glabbeek

Venue: | 18th IEEE Intl. Symp. Logic in Computer Science (LICS’03 |

Citations: | 40 - 4 self |