Report copyright - Linear logic for constructive mathematicsshulman/papers/lcm-bloomington-talk.pdf · A proof of :P is a construction transforming any proof of P into a proof of a contradiction. This
Please pass captcha verification before submit form