Sign in
Inference Systems with Corules for Fair Subtyping and Liveness Properties of Binary Session Types.
Luca Ciccone
Luca Padovani
Published in:
ICALP (2021)
Keyphrases
</>
complex systems
management system
retrieval systems
closed sets
neural network
bayesian networks
distributed systems
non binary