Template games and differential linear logic
2019
LICS2019
https://ieeexplore.ieee.org/document/8785830
logic
linear logic
game theory