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

by Dominic Hughes , Rob Van Glabbeek
Venue:18th IEEE Intl. Symp. Logic in Computer Science (LICS’03
Citations:40 - 4 self