My name is Benjamin and I worked on my Bachelor's thesis at the Programming Systems Lab. Currently I am doing my MSc in Mathematics and Foundations of Computer Science at Oxford University.
Gödel's Theorem Without Tears: Essential Incompleteness in Synthetic Computability (pdf)
Dominik Kirst, Benjamin Peters
CSL 2023, Warsaw, Poland, 2023.
Strong, Synthetic, and Computational Proofs of Gödel's First Incompleteness Theorem (pdf)(slides)(repository)
Benjamin Peters, Dominik Kirst
Types 2022, Nantes, France, 2022.