Login / Signup

The λ-calculus in the π-calculus.

Xiaojuan CaiYuxi Fu
Published in: Math. Struct. Comput. Sci. (2011)
Keyphrases
  • computer algebra
  • algebraic structure
  • expert systems
  • neural network
  • website
  • automated deduction
  • timed automata