Formal metatheory of the Lambda calculus using Stoughton's substitution
Autor: | Copello, Ernesto, Szasz, Nora, Tasistro, Álvaro |
---|---|
Zdroj: | In Theoretical Computer Science 15 July 2017 685:65-82 |
Databáze: | ScienceDirect |
Externí odkaz: |
Autor: | Copello, Ernesto, Szasz, Nora, Tasistro, Álvaro |
---|---|
Zdroj: | In Theoretical Computer Science 15 July 2017 685:65-82 |
Databáze: | ScienceDirect |
Externí odkaz: |