Istituto di Scienza e Tecnologie dell'Informazione     
Manco G., Turini F. A structural (Meta-Logical) semantics for linear objects. Internal note CNUCE-B4-95-051, 1995.
We propose a metaŚlogical reconstruction of the linar logic programming language Linear Objects. The meta-logic is based on a CLP schema, that can handle multisets of formulas. I The metaŚlogic provides a useful semantics for studying the structure of LO programs, and for comparing LO with other proposals in the field of computational logic
Subject Constraint Logic Programming
Linear Logic

Icona documento 1) Download Document PDF

Icona documento Open access Icona documento Restricted Icona documento Private


Per ulteriori informazioni, contattare: Librarian http://puma.isti.cnr.it

Valid HTML 4.0 Transitional