Linear Objects: a Logic Framework for Open System Programming.

Jean-Marc Andreoli, Remo Pareschi

Browse the full LPAR paper archive.