EasyChair Smart SlideUser guide
Author: Ernesto Copello

This page shows all presentations of this author published in EasyChair Smart Slide.

Formalisation of Barendregt's Variable Convention for Generic Structures with Binders

Formalisation of Barendregt's Variable Convention for Generic Structures with Binders

Ernesto Copello, Nora Szasz and Alvaro Tasistro

Presentations in this collection: 1
Copyright © 2002 – 2026 EasyChair