Recursive Inseparability in Linear Logic

Stål Aanderaa, Herman Ruge Jervell. Recursive Inseparability in Linear Logic. In Egon Börger, Gerhard Jäger, Hans Kleine Büning, Simone Martini, Michael M. Richter, editors, Computer Science Logic, 6th Workshop, CSL 92, San Miniato, Italy, September 28 - October 2, 1992, Selected Papers. Volume 702 of Lecture Notes in Computer Science, pages 5-13, Springer, 1992.

No reviews for this publication, yet.