Álvaro Tasistro | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Voice Chat Ghibli AI

Featured Co-authors

Nora Szasz
2 publications
Martín Copes
1 publication
Ernesto Copello
1 publication

research

∙ 07/05/2018

Formalization in Constructive Type Theory of the Standardization Theorem for the Lambda Calculus using Multiple Substitution

We present a full formalization in Martin-Löf's Constructive Type Theory...

0 Martín Copes, et al. ∙

research

∙ 07/05/2018

Formalisation in Constructive Type Theory of Barendregt's Variable Convention for Generic Structures with Binders

We introduce a universe of regular datatypes with variable binding infor...

0 Ernesto Copello, et al. ∙