Linear Logic

@article{Girard1987LinearL,
  title={Linear Logic},
  author={Jean-Yves Girard},
  journal={Theor. Comput. Sci.},
  year={1987},
  volume={50},
  pages={1-102}
}
Highly Influential
This paper has highly influenced 240 other papers. REVIEW HIGHLY INFLUENTIAL CITATIONS

From This Paper

Topics from this paper.

Citations

Publications citing this paper.

Similar Papers

Loading similar papers…