equivalentexchange.blog
Linear Logic: the dualities
The meaning of the logical rules is to be found in the rules themselves. — J. Y. Girard in “On the Meaning of Logical Rules I: syntax vs. semantics” There are two types of dualiti…