Login / Signup
Dependent Session Protocols in Separation Logic from First Principles (Functional Pearl).
Jules Jacobs
Jonas Kastberg Hinrichsen
Robbert Krebbers
Published in:
Proc. ACM Program. Lang. (2023)
Keyphrases
</>
classical logic
modal logic
asynchronous circuits
knowledge representation
logic programming
causal models
conditional independence
belief change
multi valued
neural network
logic programs
causal relationships
communication protocol