Login / Signup

Coherence Generalises Duality: A Logical Explanation of Multiparty Session Types.

Marco CarboneSam LindleyFabrizio MontesiCarsten SchürmannPhilip 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