Showing 1 - 2 results of 2 for search 'Álvaro Tasistro', query time: 0.01s Refine Results
  1. 1
    Formalization in Constructive Type Theory of the Standardization Theorem for the Lambda Calculus using Multiple Substitution
    by Martín Copes, Nora Szasz, Álvaro Tasistro
    Published 2018-07-01
    Get full text
    Article
  2. 2
    Formalisation in Constructive Type Theory of Barendregt's Variable Convention for Generic Structures with Binders
    by Ernesto Copello, Nora Szasz, Álvaro Tasistro
    Published 2018-07-01
    Get full text
    Article
Search Tools: Get RSS Feed — Email this Search