@inproceedings{Fronhfer1992LinearPA, title={Linear Proofs and Linear Logic}, author={Bertram Fronh{\"o}fer}, booktitle={JELIA}, year={1992} }

Dick de Jongh • Jan 13, 2016

Steve Zdancewic • Jan 13, 2016

Dale Miller • Oct 11, 2017