Dr Jeremy Ledent

Research Associate

Computer and Information Sciences

Publications

Knowledge and simplicial complexes
van Ditmarsch Hans, Goubault Éric, Ledent Jérémy, Rajsbaum Sergio
Philosophy of Computing Philosophical Studies Series (2022) (2022)
https://doi.org/10.1007/978-3-030-75267-5_1
A simplicial model for KB4n : epistemic logic with agents that may die
Goubault Éric, Ledent Jérémy, Rajsbaum Sergio
39th International Symposium on Theoretical Aspects of Computer Science (STACS 2022) 39th International Symposium on Theoretical Aspects of Computer Science Leibniz International Proceedings in Informatics, LIPIcs Vol 219, pp. 33:1--33:20 (2022)
https://doi.org/10.4230/LIPIcs.STACS.2022.33
Infinite horizon extensive form games, coalgebraically
Capucci Matteo, Ghani Neil, Kupke Clemens, Ledent Jérémy, Nordvall Forsberg Fredrik
Mathematics for Computation (2022) (2022)
A quantitative model for simply typed λ-calculus
Hofmann Martin, Ledent Jérémy
Mathematical Structures in Computer Science (2021)
https://doi.org/10.1017/S0960129521000256
Brief announcement : variants of approximate agreement on graphs and simplicial complexes
Ledent Jérémy
PODC 2021 - Proceedings of the 2021 ACM Symposium on Principles of Distributed Computing ACM Symposium on Principles of Distributed Computing, pp. 427–430 (2021)
https://doi.org/10.1145/3465084.3467946
Translating extensive form games to open games with agency
Capucci Matteo, Ghani Neil, Ledent Jérémy, Nordvall Forsberg Fredrik
Applied Category Theory 2021 (2021)

More publications

Address

Computer and Information Sciences
Livingstone Tower

Location Map

View University of Strathclyde in a larger map