Alpha-Structural Induction and Recursion for the Lambda Calculus in Constructive Type Theory
Journal article, 2016
substitution
Author
Ernesto Copello
Universidad ORT Uruguay
Alvaro Tasistro
Universidad ORT Uruguay
Nora Szasz
Universidad ORT Uruguay
Ana Bove
Chalmers, Computer Science and Engineering (Chalmers), Computing Science (Chalmers)
Maribel Fernandez
King's College London
Electronic Notes in Theoretical Computer Science
1571-0661 (ISSN)
Vol. 323 109-124Subject Categories
Computer Science
DOI
10.1016/j.entcs.2016.06.008