Search in: Word
Vietnamese keyboard: Off
Virtual keyboard: Show
LO
Jump to user comments
Linear Objects. A concurrent logic programming language
based on linear logic, an extension of Horn logic with a
new kind of OR-concurrency.