A taste of linear logic

Published: Oct. 22, 2021, 4 a.m.

We discuss briefly the central ideas of linear logic, where by default assumptions must be used exactly once.\xa0