Propositions in Linear Multirole Logic as Multiparty Session Types.

Hongwei Xi Hanwen Wu

Published in: CoRR (2016)

Keyphrases

multi party
privacy preserving
multi agent
computational intelligence
logic programming
secret sharing
truth values
human communication
turn taking
audio video