Intersection Types for the Resource Control Lambda Calculi.

Silvia Ghilezan Jelena Ivetic Pierre Lescanne Silvia Likavec

Published in: ICTAC (2011)

Keyphrases

control method
control system
resource allocation
artificial intelligence
control theory
web resources
process control
database
real time
web services
adaptive control
control problems