A logical account of subtyping for session types.

Ross Horne Luca Padovani

Published in: J. Log. Algebraic Methods Program. (2024)

Keyphrases

learning algorithm
decision trees
multiscale
data sets
information retrieval
social networks
image processing
three dimensional
evolutionary algorithm
hidden markov models
logical rules