Filter your results
- 4
- 4
- 1
- 1
- 4
- 4
- 1
- 1
- 2
- 1
- 2
- 1
- 1
- 4
- 4
- 1
- 1
- 1
- 1
- 1
- 4
- 2
- 2
- 2
- 2
- 4
|
|
sorted by
|
|
Full abstraction for the quantum lambda-calculusProceedings of the ACM on Programming Languages, 2020, 4 (POPL), pp.1-28. ⟨10.1145/3371131⟩
Journal articles
hal-02863835v1
|
||
|
Positional Injectivity for Innocent Strategies6TH INTERNATIONAL CONFERENCE ON FORMAL STRUCTURES FOR COMPUTATION AND DEDUCTION, Jul 2021, Buenos Aires, Argentina
Conference papers
hal-03218198v1
|
||
|
The Geometry of CausalityProceedings of the ACM on Programming Languages, In press
Journal articles
hal-03286443v2
|
||
|
The Mays and Musts of Concurrent Strategies2021
Preprints, Working Papers, ...
hal-03323995v1
|