Quotienting the delay monad by weak bisimilarity.

James Chapman Tarmo Uustalu Niccolò Veltri

Published in: Math. Struct. Comput. Sci. (2019)

Keyphrases

real world
data sets
neural network
machine learning
artificial intelligence
information systems
data streams
probabilistic model
critical path