Yannick Forster

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Constructive and synthetic reducibility degrees: Post's problem for many-one and truth-table reducibility in Coq	2024-09-25	Paper
Synthetic Kolmogorov complexity in coq	2024-07-15	Paper
Formal small-step verification of a call-by-value lambda calculus machine Programming Languages and Systems	2023-08-02	Paper
Oracle Computability and Turing Reducibility in the Calculus of Inductive Constructions	2023-07-28	Paper
scientific article; zbMATH DE number 7699436 (Why is no real title available?)	2023-06-20	Paper
A certifying extraction with time bounds from Coq to call-by-value $\lambda$-calculus (available as arXiv preprint)	2023-02-03	Paper
scientific article; zbMATH DE number 7566048 (Why is no real title available?) (available as arXiv preprint)	2022-08-02	Paper
scientific article; zbMATH DE number 7566048 (Why is no real title available?)	2022-08-02	Paper
Hilbert's Tenth Problem in Coq	2022-07-18	Paper
Parametric Church's thesis: synthetic computability without choice (available as arXiv preprint)	2022-07-01	Paper
Completeness theorems for first-order logic analysed in constructive type theory Journal Of Logic And Computation	2022-02-08	Paper
Parametric Church's Thesis: Synthetic Computability without Choice (available as arXiv preprint)	2021-12-22	Paper
The \textsc{MetaCoq} project Journal of Automated Reasoning	2020-11-02	Paper
Completeness theorems for first-order logic analysed in constructive type theory (available as arXiv preprint)	2020-05-06	Paper
Call-by-value lambda calculus as a model of computation in Coq Journal of Automated Reasoning	2019-08-21	Paper
Verification of PCP-related computational reductions in Coq (available as arXiv preprint)	2018-10-04	Paper
Weak call-by-value lambda calculus as a model of computation in Coq	2018-01-04	Paper

Research outcomes over time

This page was built for person: Yannick Forster