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.

Authors

Stål Aanderaa

This author has not been identified. Look up 'Stål Aanderaa' in Google

Herman Ruge Jervell

This author has not been identified. Look up 'Herman Ruge Jervell' in Google