Linear Logic Without Units