Login / Signup

Typed behavioural equivalences for processes in the presence of subtyping.

Matthew HennessyJulian Rathke
Published in: Math. Struct. Comput. Sci. (2004)
Keyphrases
  • higher order
  • neural network
  • relational algebra
  • fixed order
  • machine learning
  • optimal solution
  • lambda calculus