Joachim De Lataillade

According to our database¹, Joachim De Lataillade authored at least 4 papers between 2008 and 2020.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2020

Deep Deterministic Portfolio Optimization.

[BibT_eX]

[DOI]

CoRR, 2020

2009

Dinatural Terms in System F.

[BibT_eX]

[DOI]

Proceedings of the 24th Annual IEEE Symposium on Logic in Computer Science, 2009

2008

Curry-style type isomorphisms and game semantics.

[BibT_eX]

[DOI]

Math. Struct. Comput. Sci., 2008

Second-order type isomorphisms through game semantics.

[BibT_eX]

[DOI]

Ann. Pure Appl. Log., 2008