A linear logic programming language with parallel and sequential conjunction

Research output: Chapter in 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
Pages409-420
Number of pages12
Publication statusPublished - 31 Dec 1995

Cite this