Inference Systems with Corules for Combined Safety and Liveness Properties of Binary Session Types.

Luca Ciccone Luca Padovani

Published in: Log. Methods Comput. Sci. (2022)

Keyphrases

distributed systems
learning systems
knowledge base
complex systems
database
artificial intelligence
e learning
neural network
computer vision
information systems
probability distribution
management system
building blocks
probabilistic inference