5 citations · 14 across the 8 of their papers we have counts for
Showing 2016Show all
3 papers · 1 filter
cs.PL2016
Propositions in Linear Multirole Logic as Multiparty Session Types
Hongwei Xi, Hanwen Wu
We identify multirole logic as a new form of logic and formalize linear multirole logic (LMRL) as a natural generalization of classical linear logic (CLL). Among various meta-prope…
cs.PL2016★ 2 cited
Linearly Typed Dyadic Group Sessions for Building Multiparty Sessions
Hongwei Xi, Hanwen Wu
Traditionally, each party in a (dyadic or multiparty) session implements exactly one role specified in the type of the session. We refer to this kind of session as an individual se…
cs.PL2016★ 4 cited
Session Types in a Linearly Typed Multi-Threaded Lambda-Calculus
Hongwei Xi, Zhiqiang Ren, Hanwen Wu +1
We present a formalization of session types in a multi-threaded lambda-calculus (MTLC) equipped with a linear type system, establishing for the MTLC both type preservation and glob…