Login / Signup
A journey through resource control lambda calculi and explicit substitution using intersection types (an account).
Silvia Ghilezan
Jelena Ivetic
Pierre Lescanne
Silvia Likavec
Published in:
CoRR (2013)
Keyphrases
</>
social networks
control system
resource allocation
control method
data sets
resource management
databases
learning algorithm
website
database systems
web resources
control theory