C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Session Subtyping and Multiparty Compatibility Using Circular Sequents.
Ross Horne
Published in:
CONCUR (2020)
Keyphrases
</>
multi party
linear logic
sequent calculus
privacy preserving
hough transform
secret sharing
inference rules
description language
mental states
human communication
turn taking
natural deduction
logic programming
fixed point
desirable properties
logical framework