Joachim De Lataillade

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

- CSB - MetaPress - Google - Bing - Yahoo

2009

5 Joachim De Lataillade: Dinatural Terms in System F. LICS 2009: 267-276

2008

4 Joachim De Lataillade: Second-order type isomorphisms through game semantics. Ann. Pure Appl. Logic 151(2-3): 115-150 (2008)

3 Joachim De Lataillade: Curry-style type isomorphisms and game semantics. Mathematical Structures in Computer Science 18(4): 647-692 (2008)

2007

2 Joachim De Lataillade: Second-Order Type Isomorphisms Through Game Semantics CoRR abs/0705.4226: (2007)

1 Joachim De Lataillade: Curry-style type Isomorphisms and Game Semantics CoRR abs/0705.4228: (2007)

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

Last update Sun Jun 3 16:06:10 2012 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page