A Linear Logic View of Gamma style Computations as proof searches

Research output: Chapter in Book/Report/Conference proceedingChapter

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

Cite this