Álvaro Tasistro

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
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
Strong normalization for the simply-typed lambda calculus in constructive type theory using Agda	2021-02-22	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
Dependent types for nominal terms with atom substitutions	2017-07-12	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
A type-theoretic framework for certified model transformations Lecture Notes in Computer Science	2011-05-12	Paper
scientific article; zbMATH DE number 1696610 (Why is no real title available?)	2002-07-22	Paper
scientific article; zbMATH DE number 1302055 (Why is no real title available?)	1999-06-16	Paper
scientific article; zbMATH DE number 1301741 (Why is no real title available?)	1999-06-16	Paper

Research outcomes over time

This page was built for person: Álvaro Tasistro