Expressing First-Order pi-Calculus in Higher-Order Calculus of Communicating Systems.

Published in: J. Comput. Sci. Technol. (2009)

Keyphrases

higher order
management system
term rewriting
intelligent systems
computer systems
conditional random fields
high order
expert systems
natural images
real numbers
learning systems
lambda calculus
lower order
retrieval systems
complex systems
neural network
distributed systems
knowledge base