Author:
Barbanera Franco,Berardi Stefano,Schivalocchi Massimo
Publisher
Springer Berlin Heidelberg
Reference10 articles.
1. Barbanera, F. and Berardi, S. (1996) A symmetric lambda calculus for “classical” program extraction, Information and Computation, Symposium issue on TACS'94, 125(2):103–117.
2. Danos, V., Joinet, J.-B. and Schellinx, H. A new deconstructive logic: linear logic, to appear in Journal of Symbolic Logic.
3. Girard J.Y. (1991) A new constructive logic: classical logic. Mathematical Structures in Computer Science, 1(3):255–296.
4. Kreisel, G. (1951) On the interpretation of non-finitist proofs, Journal of Symbolic Logic, 16(4):241–267.
5. Kreisel, G. (1958) Mathematical significance of consistency proofs, Journal of Symbolic Logic, 23:155–182.
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Classical Logic with Mendler Induction;Logical Foundations of Computer Science;2015-12-10
2. Negative Translations and Duality: Toward a Unified Approach;Ludics, Dialogue and Interaction;2011
3. Multiple-Conclusion System as Communication Calculus;Electronic Notes in Theoretical Computer Science;2000