Proof nets for unit-free multiplicative-additive linear logic (extended abstract) | IEEE Conference Publication | IEEE Xplore