Partially Typed Multiparty Sessions.

Franco Barbanera Mariangiola Dezani-Ciancaglini

Published in: CoRR (2023)

Keyphrases

multi party
privacy preserving
higher order
secret sharing
human communication
description language
lambda calculus
web services
mental states
turn taking