Linear Proofs and Linear Logic

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