Categorical models of Linear Logic with fixed points of formulas.

Thomas Ehrhard Farzad Jafar-Rahmani

Published in: LICS (2021)

Keyphrases

linear logic
fixed point
sequent calculus
probabilistic model
model selection
desirable properties
logical framework
sufficient conditions
logic programming
asymptotic properties