A linear logic programming language with parallel and sequential conjunction

Research output: Chapter or section in a book/report/conference proceedingChapter in a published conference proceeding

Original languageEnglish
Title of host publicationGULP-PRODE'95, Joint Conference on Declarative Programming
Subtitle of host publicationMarina di Vietri
PublisherUniversità di Salerno
Number of pages12
Publication statusPublished - 31 Dec 1995

Cite this