Multiparty Sessions based on Proof Nets.

Dimitris Mostrous

Published in: PLACES (2014)

Keyphrases

multi party
privacy preserving
description language
secret sharing
turn taking
human communication
theorem prover
theorem proving
object oriented
linear logic
human computer interaction
audio video