Yannick Forster
According to our database^{1},
Yannick Forster
authored at least 21 papers
between 2017 and 2021.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis OtherLinks
Online presence:

on orcid.org

on github.com
On csauthors.net:
Bibliography
2021
J. Log. Comput., 2021
Proceedings of the 29th EACSL Annual Conference on Computer Science Logic, 2021
2020
Proc. ACM Program. Lang., 2020
Proc. ACM Program. Lang., 2020
J. Autom. Reason., 2020
Generating induction principles and subterm relations for inductive types using MetaCoq.
CoRR, 2020
Completeness Theorems for FirstOrder Logic Analysed in Constructive Type Theory (Extended Version).
CoRR, 2020
Proceedings of the 9th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2020
Proceedings of the 9th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2020
Proceedings of the 9th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2020
2019
J. Autom. Reason., 2019
CoRR, 2019
Proceedings of the 4th International Conference on Formal Structures for Computation and Deduction, 2019
A Certifying Extraction with Time Bounds from Coq to CallByValue Lambda Calculus.
Proceedings of the 10th International Conference on Interactive Theorem Proving, 2019
Proceedings of the 8th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2019
Certified undecidability of intuitionistic linear logic via binary stack machines and minsky machines.
Proceedings of the 8th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2019
On synthetic undecidability in coq, with an application to the entscheidungsproblem.
Proceedings of the 8th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2019
2018
Proceedings of the Interactive Theorem Proving  9th International Conference, 2018
Proceedings of the Programming Languages and Systems  16th Asian Symposium, 2018
2017
On the expressive power of userdefined effects: effect handlers, monadic reflection, delimited control.
Proc. ACM Program. Lang., 2017
Proceedings of the Interactive Theorem Proving  8th International Conference, 2017