Computational Aspects of Linear Logic
Mit Press (1995)
| Abstract | This article has no associated abstract. (fix it) | |||||||||
| Keywords | Logic, Symbolic and mathematical Data processing Proof theory | |||||||||
| Categories | ||||||||||
| Call number | QA9.L565 1995 | |||||||||
| ISBN(s) | 0262121956 | |||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,653 |
| External links | This entry has no external links. Add one. |
| Through your library | Configure |
Similar books and articlesSimona Ronchi della Rocca & Luca Roversi (1997). Lambda Calculus and Intuitionistic Linear Logic. Studia Logica 59 (3):417-448.
Dirk Roorda (1994). Interpolation in Fragments of Classical Linear Logic. Journal of Symbolic Logic 59 (2):419-444.
Jean-Yves Girard, Yves Lafont & Laurent Regnier (eds.) (1995). Advances in Linear Logic. Cambridge University Press.
Patrick D. Lincoln, John C. Mitchell & Andre Scedrov (1996). Linear Logic Proof Games and Optimization. Bulletin of Symbolic Logic 2 (3):322-338.
Hao Wang (1981/1993). Popular Lectures on Mathematical Logic. Dover Publications.
Simona Ronchi Della Rocca & Luca Roversi (1997). Lambda Calculus and Intuitionistic Linear Logic. Studia Logica 59 (3):417-448.
Thomas Ehrhard (ed.) (2004). Linear Logic in Computer Science. Cambridge University Press.
David J. Pym (2004). Reductive Logic and Proof-Search: Proof Theory, Semantics, and Control. Oxford University Press.
Analytics
Monthly downloads
Sorry, there are not enough data points to plot this chart.
|
Added to index2009-01-28Total downloads0Recent downloads (6 months)0How can I increase my downloads? |
My notes
Discussion
