Yannick Forster 0002
Person information
- affiliation: Saarland University, Germany
- affiliation: University of Cambridge, UK
Other persons with the same name
- Yannick Forster
- Yannick Forster 0001 — Würzburg Institute for Traffic Sciences, Veitshoechheim, Germany
Refine list

refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2010 – today
- 2019
- [c6]Yannick Forster, Dominik Kirst, Gert Smolka:
On synthetic undecidability in coq, with an application to the entscheidungsproblem. CPP 2019: 38-51 - [c5]Yannick Forster, Dominique Larchey-Wendling:
Certified undecidability of intuitionistic linear logic via binary stack machines and minsky machines. CPP 2019: 104-117 - [c4]Yannick Forster, Steven Schäfer, Simon Spies, Kathrin Stark:
Call-by-push-value in coq: operational, equational, and denotational theory. CPP 2019: 118-131 - 2018
- [c3]Fabian Kunze, Gert Smolka, Yannick Forster:
Formal Small-Step Verification of a Call-by-Value Lambda Calculus Machine. APLAS 2018: 264-283 - [c2]Yannick Forster, Edith Heiter, Gert Smolka:
Verification of PCP-Related Computational Reductions in Coq. ITP 2018: 253-269 - [i3]Fabian Kunze, Gert Smolka, Yannick Forster:
Formal Small-step Verification of a Call-by-value Lambda Calculus Machine. CoRR abs/1806.03205 (2018) - 2017
- [j1]Yannick Forster, Ohad Kammar, Sam Lindley, Matija Pretnar:
On the expressive power of user-defined effects: effect handlers, monadic reflection, delimited control. PACMPL 1(ICFP): 13:1-13:29 (2017) - [c1]Yannick Forster, Gert Smolka:
Weak Call-by-Value Lambda Calculus as a Model of Computation in Coq. ITP 2017: 189-206 - [i2]Yannick Forster, Edith Heiter, Gert Smolka:
Verification of PCP-Related Computational Reductions in Coq. CoRR abs/1711.07023 (2017) - 2016
- [i1]Yannick Forster, Ohad Kammar, Sam Lindley, Matija Pretnar:
On the Expressive Power of User-Defined Effects: Effect Handlers, Monadic Reflection, Delimited Control. CoRR abs/1610.09161 (2016)
Coauthor Index
last updated on 2019-01-09 22:45 CET by the dblp team
data released under the ODC-BY 1.0 license
see also: Terms of Use | Privacy Policy | Imprint