We stand with Ukraine  

Joachim De Lataillade

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

Collaborative distances:
  • Dijkstra number2 of six.
  • Erdős number3 of six.

Timeline

2008
2010
2012
2014
2016
2018
2020
0
1
2
3
1
2
1

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2020
Deep Deterministic Portfolio Optimization.
[BibTeX]
[DOI]
Ayman Chaouki
,
Stephen Hardiman
,
Christian Schmidt
,
Emmanuel Sérié
,
Joachim De Lataillade
CoRR, 2020

2009
Dinatural Terms in System F.
[BibTeX]
[DOI]
Joachim De Lataillade
Proceedings of the 24th Annual IEEE Symposium on Logic in Computer Science, 2009

2008
Curry-style type isomorphisms and game semantics.
[BibTeX]
[DOI]
Joachim De Lataillade
Math. Struct. Comput. Sci., 2008

Second-order type isomorphisms through game semantics.
[BibTeX]
[DOI]
Joachim De Lataillade
Ann. Pure Appl. Log., 2008


  Loading...