Another really fascinating connection is with linear / resource logic and quantum computation. A lot of really neat resource logic connectives have interpretations as setting up quantum experiments.