A Functorial Excursion Between Algebraic Geometry and Linear Logic.

Paul-André Melliès

Published in: LICS (2022)

Keyphrases

linear logic
algebraic geometry
fixed point
set theory
logical framework
polynomial equations
sequent calculus
cut elimination
desirable properties
logic programming
probabilistic model
computational intelligence
logic programs
belief revision