Listar por Materia Programación Genérica
Mostrando resultados 1 a 1 de 1
Fecha de publicación | Título | Autor(es) |
---|---|---|
2017 | On the Formalisation of the Metatheory of the Lambda Calculus and Languages with Binders | Copello, Ernesto |
Fecha de publicación | Título | Autor(es) |
---|---|---|
2017 | On the Formalisation of the Metatheory of the Lambda Calculus and Languages with Binders | Copello, Ernesto |