A Linear Logic View of Gamma style Computations as proof searches

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

36 Downloads (Pure)
Original languageEnglish
Title of host publicationCoordination Programming: Mechanisms, Models and Semantics
EditorsJean-Mark Andreoli, Chris Hankin, Daniel Le Metayer
PublisherImperial College Press
Pages249-273
Number of pages25
ISBN (Electronic)978-1-78326-268-7
ISBN (Print)978-1-86094-023-1
DOIs
Publication statusPublished - 31 Aug 1996

Cite this