Second-order type isomorphisms through game semantics (2008)

by J De Lataillade
Venue:Ann. Pure Appl. Logic