The Higher-Order, Call-by-Value Applied Pi-Calculus.

Nobuyuki Sato Eijiro Sumii

Published in: APLAS (2009)

Keyphrases

higher order
data sets
artificial intelligence
information systems
knowledge base
high order
information retrieval
website
data structure
pairwise
evolutionary algorithm