<p>We discuss briefly the central ideas of linear logic, where by default assumptions must be used exactly once. </p>

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

<p>We discuss briefly the central ideas of linear logic, where by default assumptions must be used exactly once.&nbsp;</p>

A taste of linear logic

Aaron Stump talks about type theory, computational logic, and related topics in Computer Science on his short commute.

Share A taste of linear logic