Yann Hamdaoui

According to our database1, Yann Hamdaoui authored at least 5 papers between 2013 and 2021.

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

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2021
Interpreting a concurrent λ-calculus in differential proof nets (extended version).
CoRR, 2021

An Interactive Proof of Termination for a Concurrent λ-calculus with References and Explicit Substitutions.
CoRR, 2021

Union and intersection contracts are hard, actually.
Proceedings of the DLS 2021: Proceedings of the 17th ACM SIGPLAN International Symposium on Dynamic Languages, 2021

2018
Concurrency, references and linear logic. (Concurrences, Références et Logique Linéaire).
PhD thesis, 2018

2013
A Non Asymptotic Analysis of Information Set Decoding.
IACR Cryptol. ePrint Arch., 2013


  Loading...