Search
Skip to Search Results
Filter
Author / Creator / Contributor
Collections
Subject / Keyword
Year
Languages
Item type
-
1994
Technical report TR94-14. Linear Objects (LO) of Andreoli and Pareschi is the first proposal to integrate object-oriented programming into logic programming based on Girard's Linear Logic (LL). In LO each object is represented by a separate open node of a proof tree. This \"insulates\" objects...
1 - 3 of 3