A linear logic programming language with parallel and sequential conjunction

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

Original language	English
Title of host publication	GULP-PRODE'95, Joint Conference on Declarative Programming
Subtitle of host publication	Marina di Vietri
Publisher	Università di Salerno
Pages	409-420
Number of pages	12
Publication status	Published - 31 Dec 1995

Cite this

@inproceedings{e452b067a1ab4bdfac38ababd0bb1730,

title = "A linear logic programming language with parallel and sequential conjunction",

author = "Paola Bruscoli and Alessio Guglielmi",

year = "1995",

month = dec,

day = "31",

language = "English",

pages = "409--420",

booktitle = "GULP-PRODE'95, Joint Conference on Declarative Programming",

publisher = "Universit{\`a} di Salerno",

}