Linear Proofs and Linear Logic. Fronhöfer, B. In Pearce, D. & Wagner, G., editors, JELIA, volume 633, of Lecture Notes in Computer Science, pages 106-125, 1992. Springer.
Linear Proofs and Linear Logic. [link]Link  Linear Proofs and Linear Logic. [link]Paper  bibtex   
@inproceedings{conf/jelia/Fronhofer92,
  added-at = {2017-05-20T00:00:00.000+0200},
  author = {Fronhöfer, Bertram},
  biburl = {https://www.bibsonomy.org/bibtex/29d51cb6d683b69d4ff0216cbee503c23/dblp},
  booktitle = {JELIA},
  crossref = {conf/jelia/1992},
  editor = {Pearce, David and Wagner, Gerd},
  ee = {https://doi.org/10.1007/BFb0023424},
  interhash = {c6cf929c26ded97147ab24682f04821e},
  intrahash = {9d51cb6d683b69d4ff0216cbee503c23},
  isbn = {3-540-55887-X},
  keywords = {dblp},
  pages = {106-125},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  timestamp = {2019-11-07T11:41:11.000+0100},
  title = {Linear Proofs and Linear Logic.},
  url = {http://dblp.uni-trier.de/db/conf/jelia/jelia92.html#Fronhofer92},
  volume = 633,
  year = 1992
}

Downloads: 0