The link http://www.seas.upenn.edu/~acowley/papers/TowardsLinear.pdf used in [README.md](https://github.com/acowley/LinearLogic/blob/master/README.md) is broken (error 404).
The link http://www.seas.upenn.edu/~acowley/papers/TowardsLinear.pdf used in README.md is broken (error 404).