A New Constructive Logic: Classical Logic

@article{Girard1991ANC,
  title={A New Constructive Logic: Classical Logic},
  author={Jean-Yves Girard},
  journal={Mathematical Structures in Computer Science},
  year={1991},
  volume={1},
  pages={255-296}
}
Highly Influential
This paper has highly influenced 29 other papers. REVIEW HIGHLY INFLUENTIAL CITATIONS

From This Paper

Topics from this paper.
203 Citations
0 References
Similar Papers

Citations

Publications citing this paper.

Similar Papers

Loading similar papers…