Alexis Ghyselen

Orcid: 0000-0001-9767-2011

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

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
On Model-Checking Higher-Order Effectful Programs.
Proc. ACM Program. Lang., January, 2024

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

Open Higher-Order Logic.
Proceedings of the 31st EACSL Annual Conference on Computer Science Logic, 2023

2022
Types for Complexity of Parallel Computation in Pi-calculus.
ACM Trans. Program. Lang. Syst., 2022

Open Higher-Order Logic (Long Version).
CoRR, 2022

On Reinforcement Learning, Effect Handlers, and the State Monad.
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).
PhD thesis, 2021

Sized Types with Usages for Parallel Complexity of Pi-Calculus Processes.
Proceedings of the 32nd International Conference on Concurrency Theory, 2021

2020
Combining linear logic and size types for implicit complexity.
Theor. Comput. Sci., 2020

2019
Types for Parallel Complexity in the Pi-calculus.
CoRR, 2019

Type-Based Complexity Analysis of Probabilistic Functional Programs.
Proceedings of the 34th Annual ACM/IEEE Symposium on Logic in Computer Science, 2019


  Loading...