Charles Grellois, Semantics of linear logic and higher-order model-checking

Schedule