A semantics for lambda calculi with resources.

Gérard Boudol Pierre-Louis Curien Carolina Lavatelli

Published in: Math. Struct. Comput. Sci. (1999)

Keyphrases

resource management
limited resources
resource allocation
formal semantics
semantic information
computing resources
logic programming
web resources
cloud computing
integrity constraints
computing environments
default reasoning
owl ontologies