4 ms·
Another really fascinating connection is with linear / resource logic and quantum computation. A lot of really neat resource logic connectives have interpretat
by carterschonwald 10y ago
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.