conf.researchr.org / Yannick Forster
Registered user since Thu 4 May 2017
Name:Yannick Forster
Country:France
Affiliation:Inria
Personal website: https://yforster.de
GitHub: https://github.com/yforster
Contributions
2025
2024
ICFP
2023
APLAS
ICFP
2022
ML
2021
2020
CPP
2019
CPP
- Author of Certified Undecidability of Intuitionistic Linear Logic via Binary Stack Machines and Minsky Machines within the CPP 2019-track
- Author of On Synthetic Undecidability in Coq, with an Application to the Entscheidungsproblem within the CPP 2019-track
- Author of Call-By-Push-Value in Coq: Operational, Equational, and Denotational Theory within the CPP 2019-track