Alpha-Structural Induction and Recursion for the Lambda Calculus in Constructive Type Theory
Artikel i vetenskaplig tidskrift, 2016
substitution
Författare
Ernesto Copello
Universidad ORT Uruguay
Alvaro Tasistro
Universidad ORT Uruguay
Nora Szasz
Universidad ORT Uruguay
Ana Bove
Chalmers, Data- och informationsteknik, Datavetenskap
Maribel Fernandez
King's College London
Electronic Notes in Theoretical Computer Science
1571-0661 (ISSN)
Vol. 323 109-124Ämneskategorier
Datavetenskap (datalogi)
DOI
10.1016/j.entcs.2016.06.008