A Functorial Excursion Between Algebraic Geometry and Linear Logic
2022
LICS2022
https://dl.acm.org/doi/abs/10.1145/3531130.3532488
logic
linear logic
algebraric geometry