ETAPS 2019 (series) / GaLoP 2019 (series) / 14th Workshop on Games for Logic and Programming Languages /
Some ideas for a finite geometry of interaction model of second-order MLL
We report on work-in-progress related to our recent study of finite semantics for MLL2.
Sun 7 Apr
|13:30 - 14:00|
|14:00 - 14:30|
|14:30 - 15:00|
|15:00 - 15:30|