Maximilian Wuttke

Publication Activity (10 Years)

Years Active: 2020-2021
Publications (10 Years): 2

Top Topics

Programming Concepts

Sequent Calculus

Interactive Theorem Proving

Comprehensive Set

Top Venues

Publications

Yannick Forster, Fabian Kunze, Gert Smolka, Maximilian Wuttke
A Mechanised Proof of the Time Invariance Thesis for the Weak Call-By-Value λ-Calculus. ITP (2021)
Yannick Forster, Fabian Kunze, Maximilian Wuttke
Verified programming of Turing machines in Coq. CPP (2020)