1

Tesis de doctorado

On the Formalisation of the Metatheory of the Lambda Calculus and Languages with Binders

Autor(es): Copello, Ernesto
Año: 2017
Institución: Universidad de la República