The Name-Passing Calculus.

Yuxi Fu Han Zhu

Published in: CoRR (2015)

Keyphrases

algebraic structure
computer algebra
database
machine learning
data structure
evolutionary algorithm
multiresolution
formal language
relational calculus
provably correct