Loading...

Second-Order Type Isomorphisms Through Game Semantics - Joachim De Lataillade | Arena