What is a categorical model of the differential and the resource λ-calculi?

Giulio Manzonetto

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

Keyphrases

mathematical model
formal model
information systems
multi agent systems
probabilistic model
cost function
theoretical analysis
metamodel
network model
resource constraints