Search - Archive ouverte HAL Access content directly

Filter your results

4 Results
ANR project: Code decision (reference) : ANR-19-CE48-0010
Image document

Full abstraction for the quantum lambda-calculus

Pierre Clairambault , Marc de Visme
Proceedings of the ACM on Programming Languages, 2020, 4 (POPL), pp.1-28. ⟨10.1145/3371131⟩
Journal articles hal-02863835v1
Image document

Positional Injectivity for Innocent Strategies

Lison Blondeau-Patissier , Pierre Clairambault
6TH INTERNATIONAL CONFERENCE ON FORMAL STRUCTURES FOR COMPUTATION AND DEDUCTION, Jul 2021, Buenos Aires, Argentina
Conference papers hal-03218198v1
Image document

The Geometry of Causality

Simon Castellan , Pierre Clairambault
Proceedings of the ACM on Programming Languages, In press
Journal articles hal-03286443v2
Image document

The Mays and Musts of Concurrent Strategies

Simon Castellan , Pierre Clairambault , Glynn Winskel
2021
Preprints, Working Papers, ... hal-03323995v1