This page shows all presentations of this author published in EasyChair Smart Slide.
An Analysis of Tennenbaum's Theorem in Constructive Type Theory
Marc Hermes and Dominik Kirst