A Linear Logic View of Gamma style Computations as proof searches

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

77 Downloads (Pure)

Original language	English
Title of host publication	Coordination Programming: Mechanisms, Models and Semantics
Editors	Jean-Mark Andreoli, Chris Hankin, Daniel Le Metayer
Publisher	Imperial College Press
Pages	249-273
Number of pages	25
ISBN (Electronic)	978-1-78326-268-7
ISBN (Print)	978-1-86094-023-1
DOIs	https://doi.org/10.1142/p017
Publication status	Published - 31 Aug 1996

Access to Document

@inbook{42423ca9e08745e5935b53a123c2f5ec,

title = "A Linear Logic View of Gamma style Computations as proof searches",

author = "Paola Bruscoli and Alessio Guglielmi",

year = "1996",

month = aug,

day = "31",

doi = "10.1142/p017",

language = "English",

isbn = "978-1-86094-023-1",

pages = "249--273",

editor = "Jean-Mark Andreoli and Chris Hankin and {Le Metayer}, {Daniel }",

booktitle = "Coordination Programming: Mechanisms, Models and Semantics",

publisher = "Imperial College Press",

}

TY - CHAP

T1 - A Linear Logic View of Gamma style Computations as proof searches

AU - Bruscoli, Paola

AU - Guglielmi, Alessio

PY - 1996/8/31

Y1 - 1996/8/31

U2 - 10.1142/p017

DO - 10.1142/p017

M3 - Chapter or section

SN - 978-1-86094-023-1

SP - 249

EP - 273

BT - Coordination Programming: Mechanisms, Models and Semantics

A2 - Andreoli, Jean-Mark

A2 - Hankin, Chris

A2 - Le Metayer, Daniel

PB - Imperial College Press

ER -