Login / Signup
Coherence Generalises Duality: A Logical Explanation of Multiparty Session Types.
Marco Carbone
Sam Lindley
Fabrizio Montesi
Carsten Schürmann
Philip Wadler
Published in:
CONCUR (2016)
Keyphrases
</>
multi party
privacy preserving
linear programming
human communication
artificial intelligence
search engine
search strategies
explanation based learning
description language
audio video
turn taking