Quotienting the Delay Monad by Weak Bisimilarity.

James Chapman Tarmo Uustalu Niccolò Veltri

Published in: ICTAC (2015)

Keyphrases

neural network
information systems
image processing
face recognition
multi agent systems
relational databases
critical path