New posts in Linear Logic

De Morgan laws of linear logic

What is the intuition behind the "par" operator in linear logic?

Models of intuitionistic linear logic that reflect the resource interpretation

Are exponentials in categorical models of linear logic harmful?