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