Show simple item record

dc.contributor.authorXi, H.en_US
dc.contributor.authorWu, Hanwenen_US
dc.coverage.spatialBerlinen_US
dc.date.accessioned2018-06-06T14:38:59Z
dc.date.available2018-06-06T14:38:59Z
dc.date.issued2017-09-04
dc.identifierhttps://sites.google.com/site/radicalconcur/
dc.identifier.citationH Xi, Hanwen Wu. 2017. "Multirole Logic and Multiparty Channels."
dc.identifier.urihttps://hdl.handle.net/2144/29253
dc.description.abstractWe identify multirole logic as a new form of logic in which conjunction/disjunction is interpreted as an ultrafilter on the power set of some underlying set (of roles), and the notion of negation is generalized to endomorphisms on this underlying set. In this talk, we present linear multirole logic (LMRL) as a natural generalization of classical linear logic (CLL). Among various meta-properties established for LMRL, we obtain one named multiparty cut-elimination stating that every cut involving one or more sequents (as a generalization of a binary cut involving exactly two sequents) can be eliminated, thus extending the celebrated result of cut-elimination by Gentzen. An immediate application of LMRL can be found in a formulation of session types for channels that support multiparty communication in distributed programming. Guided by LMRL, we give an interesting interpretation to linear multiplicative conjunction/disjunction as session type constructors that encompasses certain seemingly contradictory ones found in the literature.en_US
dc.subjectProgramming languagesen_US
dc.subjectLogic in computer scienceen_US
dc.titleMultirole logic and multiparty channelsen_US
dc.typePresentationen_US
pubs.elements-sourcemanual-entryen_US
pubs.notesEmbargo: Not knownen_US
pubs.organisational-groupBoston Universityen_US
pubs.organisational-groupBoston University, College of Arts & Sciencesen_US
pubs.organisational-groupBoston University, College of Arts & Sciences, Department of Computer Scienceen_US


This item appears in the following Collection(s)

Show simple item record