Login / Signup
Categorical models of Linear Logic with fixed points of formulas.
Thomas Ehrhard
Farzad Jafar-Rahmani
Published in:
CoRR (2020)
Keyphrases
</>
linear logic
fixed point
desirable properties
logic programming
sufficient conditions
dynamical systems
cut elimination
input image
markov random field
model selection
logical framework
temporal difference learning
natural deduction
approximate value iteration