Ernesto Copello
From MaRDI portal
List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| Formalisation in constructive type theory of Barendregt's variable convention for generic structures with binders | 2025-08-19 | Paper |
| Formalization of metatheory of the Lambda Calculus in constructive type theory using the Barendregt variable convention Mathematical Structures in Computer Science | 2022-01-20 | Paper |
| Machine-checked proof of the Church-Rosser theorem for the lambda calculus using the Barendregt variable convention in constructive type theory | 2019-11-12 | Paper |
| Alpha-structural induction and recursion for the lambda calculus in constructive type theory | 2018-04-23 | Paper |
| Formal metatheory of the lambda calculus using Stoughton's substitution Theoretical Computer Science | 2017-06-15 | Paper |
| Formalisation in constructive type theory of Stoughton's substitution for the lambda calculus | 2016-08-01 | Paper |
Research outcomes over time
This page was built for person: Ernesto Copello
