EasyChair Smart Slide
An Analysis of Tennenbaum's Theorem in Constructive Type Theory
An Analysis of Tennenbaum's Theorem in Constructive Type Theory