| |
| 2008 | ||
|---|---|---|
| 4 | EE | Joachim De Lataillade: Second-order type isomorphisms through game semantics. Ann. Pure Appl. Logic 151(2-3): 115-150 (2008) |
| 3 | EE | Joachim De Lataillade: Curry-style type isomorphisms and game semantics. Mathematical Structures in Computer Science 18(4): 647-692 (2008) |
| 2007 | ||
| 2 | EE | Joachim De Lataillade: Second-Order Type Isomorphisms Through Game Semantics CoRR abs/0705.4226: (2007) |
| 1 | EE | Joachim De Lataillade: Curry-style type Isomorphisms and Game Semantics CoRR abs/0705.4228: (2007) |