Typed Processes in Untyped Contexts.

Michele Bugliesi Marco Giunti

Published in: TGC (2005)

Keyphrases

higher order
neural network
process model
database
real time
data mining
information retrieval
clustering algorithm
high level
optimal solution
user interface
lambda calculus