This page shows all presentations of this author published in EasyChair Smart Slide.
Rensets and Renaming-Based Recursion for Syntax with Bindings
Andrei Popescu
A Formally Verified Abstract Account of Gödel's Incompleteness Theorems
Andrei Popescu and Dmitriy Traytel