2 citations · 2 across the 3 of their papers we have counts for
Showing 2016 · cs.PLShow all
3 papers · 2 filters
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
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
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…