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

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2020
Deep Deterministic Portfolio Optimization.
CoRR, 2020

2009
Dinatural Terms in System F.
Proceedings of the 24th Annual IEEE Symposium on Logic in Computer Science, 2009

2008
Curry-style type isomorphisms and game semantics.
Math. Struct. Comput. Sci., 2008

Second-order type isomorphisms through game semantics.
Ann. Pure Appl. Log., 2008


  Loading...