Second-order type isomorphisms through game semantics. - Joachim De Lataillade (Ann. Pure Appl. Log., 2008)

Curry-style type isomorphisms and game semantics. - Joachim De Lataillade (Math. Struct. Comput. Sci., 2008)

Dinatural Terms in System F. - Joachim De Lataillade (LICS, 2009)

Deep Deterministic Portfolio Optimization. - Ayman Chaouki; Stephen Hardiman; Christian Schmidt 025; Emmanuel Sérié; Joachim De Lataillade (CoRR, 2020)