Depending on Session-Typed Processes.

Bernardo Toninho Nobuko Yoshida

Published in: FoSSaCS (2018)

Keyphrases

communication channels
higher order
real world
case study
artificial intelligence
website
pairwise
artificial neural networks
probabilistic model
probability distribution
computational model