E-LIB Suche - Ergebnisse für: Clairambault, Pierre

1

An Analysis of Symmetry in Quantitative Semantics:

, In: Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science,

Clairambault, Pierre ; Forest, Simon - p. 1-13 , 2024

Link: https://dl.acm.org/doi/1..

2

A Tale of Additives and Concurrency in Game Semantics:

, In: Samson Abramsky on Logic and Structure in Computer Science and Beyond; Outstanding Contributions to Logic,

Clairambault, Pierre - p. 363-414 , 2023

Link: https://doi.org/10.1007/..

3

The Geometry of Causality: Multi-token Geometry of Interact..:

Castellan, Simon ; Clairambault, Pierre
Proceedings of the ACM on Programming Languages. 7 (2023) POPL - p. 689-717 , 2023

Link: https://doi.org/10.1145/..

4

The Cartesian Closed Bicategory of Thin Spans of Groupoids:

, In: 2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS),

Clairambault, Pierre ; Forest, Simon - p. 1-13 , 2023

Link: https://doi.org/10.1109/..

5

The Mays and Musts of Concurrent Strategies:

, In: Samson Abramsky on Logic and Structure in Computer Science and Beyond; Outstanding Contributions to Logic,

Castellan, Simon ; Clairambault, Pierre ; Winskel, Glynn - p. 327-361 , 2023

Link: https://doi.org/10.1007/..

6

From Thin Concurrent Games to Generalized Species of Struct..:

, In: 2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS),

Clairambault, Pierre ; Olimpieri, Federico ; Paquet, Hugo - p. 1-14 , 2023

Link: https://doi.org/10.1109/..

7

Categories with Families: Unityped, Simply Typed, and Depen..:

, In: Joachim Lambek: The Interplay of Mathematics, Logic, and Linguistics; Outstanding Contributions to Logic,

Castellan, Simon ; Clairambault, Pierre ; Dybjer, Peter - p. 135-180 , 2021

Link: https://doi.org/10.1007/..

8

Full abstraction for the quantum lambda-calculus:

Clairambault, Pierre ; de Visme, Marc
Proceedings of the ACM on Programming Languages. 4 (2019) POPL - p. 1-28 , 2019

Link: https://doi.org/10.1145/..

9

Resource-Tracking Concurrent Games:

, In: Lecture Notes in Computer Science; Foundations of Software Science and Computation Structures,

Alcolei, Aurore ; Clairambault, Pierre ; Laurent, Olivier - p. 27-44 , 2019

Link: https://doi.org/10.1007/..

10

Full abstraction for the quantum lambda-calculus:

Clairambault, Pierre ; de Visme, Marc
Proceedings of the ACM on Programming Languages. 4 (2019) POPL - p. 1-28 , 2019

Link: https://dl.acm.org/doi/1..

11

Game semantics for quantum programming:

Clairambault, Pierre ; De Visme, Marc ; Winskel, Glynn
Proceedings of the ACM on Programming Languages. 3 (2019) POPL - p. 1-29 , 2019

Link: https://doi.org/10.1145/..

12

Game semantics for quantum programming:

Clairambault, Pierre ; De Visme, Marc ; Winskel, Glynn
Proceedings of the ACM on Programming Languages. 3 (2019) POPL - p. 1-29 , 2019

Link: https://dl.acm.org/doi/1..

13

Concurrent Quantum Strategies:

, In: Reversible Computation; Lecture Notes in Computer Science,

Clairambault, Pierre ; de Visme, Marc ; Winskel, Glynn - p. 3-19 , 2019

Link: https://doi.org/10.1007/..

14

Non-angelic Concurrent Game Semantics:

, In: Lecture Notes in Computer Science; Foundations of Software Science and Computation Structures,

Castellan, Simon ; Clairambault, Pierre ; Hayman, Jonathan. - p. 3-19 , 2018

Link: https://doi.org/10.1007/..

15

The concurrent game semantics of Probabilistic PCF:

, In: Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science,

Castellan, Simon ; Clairambault, Pierre ; Paquet, Hugo. - p. 215-224 , 2018

Link: https://dl.acm.org/doi/1..