Login / Signup
Typed behavioural equivalences for processes in the presence of subtyping.
Matthew Hennessy
Julian Rathke
Published in:
Math. Struct. Comput. Sci. (2004)
Keyphrases
</>
higher order
neural network
relational algebra
fixed order
machine learning
optimal solution
lambda calculus