Fabian Kunze

According to our database, Fabian Kunze authored at least 10 papers between 2016 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2022

Synthetic Kolmogorov Complexity in Coq.

Yannick Forster, Fabian Kunze, Nils Lauermann

Proceedings of the 13th International Conference on Interactive Theorem Proving, 2022

2021

Mechanising Complexity Theory: The Cook-Levin Theorem in Coq.

Lennard Gäher, Fabian Kunze

Proceedings of the 12th International Conference on Interactive Theorem Proving, 2021

A Mechanised Proof of the Time Invariance Thesis for the Weak Call-By-Value λ-Calculus.

Yannick Forster, Fabian Kunze, Gert Smolka, Maxi Wuttke

Proceedings of the 12th International Conference on Interactive Theorem Proving, 2021

2020

The weak call-by-value λ-calculus is reasonable for both time and space.

Yannick Forster, Fabian Kunze, Marc Roth

Proc. ACM Program. Lang., 2020

The MetaCoq Project.

Matthieu Sozeau, Abhishek Anand, Simon Boulier, Cyril Cohen, Yannick Forster, Fabian Kunze, Gregory Malecha, Nicolas Tabareau, Théo Winterhalter

J. Autom. Reason., 2020

Verified programming of Turing machines in Coq.

Yannick Forster, Fabian Kunze, Maxi Wuttke

Proceedings of the 9th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2020

2019

A certifying extraction with time bounds from Coq to call-by-value $λ$-calculus.

Yannick Forster, Fabian Kunze

CoRR, 2019

A Certifying Extraction with Time Bounds from Coq to Call-By-Value Lambda Calculus.

Yannick Forster, Fabian Kunze

Proceedings of the 10th International Conference on Interactive Theorem Proving, 2019

2018

Formal Small-Step Verification of a Call-by-Value Lambda Calculus Machine.

Fabian Kunze, Gert Smolka, Yannick Forster

Proceedings of the Programming Languages and Systems - 16th Asian Symposium, 2018

2016

Towards the Integration of an Intuitionistic First-Order Prover into Coq.

Fabian Kunze

Proceedings of the Proceedings First International Workshop on Hammers for Type Theories, 2016