Intuitionistic proofs without syntax
2019
LICS2019
https://ieeexplore.ieee.org/document/8785827
logic
proof nets
game theory
lambda calculus