Alexis Ghyselen

According to our database, Alexis Ghyselen authored at least 11 papers between 2019 and 2024.

Collaborative distances:

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

2024

On Model-Checking Higher-Order Effectful Programs.

Ugo Dal Lago, Alexis Ghyselen

Proc. ACM Program. Lang., January, 2024

2023

On Model-Checking Higher-Order Effectful Programs (Long Version).

Ugo Dal Lago, Alexis Ghyselen

CoRR, 2023

Open Higher-Order Logic.

Ugo Dal Lago, Francesco Gavazzo, Alexis Ghyselen

Proceedings of the 31st EACSL Annual Conference on Computer Science Logic, 2023

2022

Types for Complexity of Parallel Computation in Pi-calculus.

Patrick Baillot, Alexis Ghyselen

ACM Trans. Program. Lang. Syst., 2022

Open Higher-Order Logic (Long Version).

Ugo Dal Lago, Francesco Gavazzo, Alexis Ghyselen

CoRR, 2022

On Reinforcement Learning, Effect Handlers, and the State Monad.

Ugo Dal Lago, Francesco Gavazzo, Alexis Ghyselen

CoRR, 2022

2021

Sized Types Methods and their Applications to Complexity Analysis in Pi-Calculus. (Les Types à Tailles et leurs Applications pour l'Analyse de Complexité dans le Pi-Calcul).

Alexis Ghyselen

PhD thesis, 2021

Sized Types with Usages for Parallel Complexity of Pi-Calculus Processes.

Patrick Baillot, Alexis Ghyselen, Naoki Kobayashi

Proceedings of the 32nd International Conference on Concurrency Theory, 2021

2020

Combining linear logic and size types for implicit complexity.

Patrick Baillot, Alexis Ghyselen

Theor. Comput. Sci., 2020

2019

Types for Parallel Complexity in the Pi-calculus.

Patrick Baillot, Alexis Ghyselen

CoRR, 2019

Type-Based Complexity Analysis of Probabilistic Functional Programs.

Martin Avanzini, Ugo Dal Lago, Alexis Ghyselen

Proceedings of the 34th Annual ACM/IEEE Symposium on Logic in Computer Science, 2019