Yann Hamdaoui

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

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2021

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

Yann Hamdaoui

CoRR, 2021

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

Yann Hamdaoui, Benoît Valiron

CoRR, 2021

Union and intersection contracts are hard, actually.

Teodoro Freund, Yann Hamdaoui, Arnaud Spiwack

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).

Yann Hamdaoui

PhD thesis, 2018

2013

A Non Asymptotic Analysis of Information Set Decoding.

Yann Hamdaoui, Nicolas Sendrier

IACR Cryptol. ePrint Arch., 2013