Linear Logic

Published by Communications of the ACM