Second-order type isomorphisms through game semantics (2008)

by Joachim de Lataillade
Venue:Annals of Pure and Applied Logic