Fixed Points In Quantitative Semantics.

Published in: LICS (2016)

Keyphrases

fixed point
dynamical systems
linear logic
logic programming
sufficient conditions
asymptotic properties
approximate value iteration
initial conditions
default logic
temporal difference learning
pairwise
neural network
closure operator