A linear/producer/consumer model of classical linear logic.

Published in: Math. Struct. Comput. Sci. (2018)

Keyphrases