Termination of lambda-calculus linearization methods
Author: Sandra Alves
Paper Information
| Title: | Termination of lambda-calculus linearization methods |
| Authors: | Sandra Alves |
| Proceedings: | Linearity/TLLA Pre-proceedings |
| Editors: | Maribel Fernandez, Valeria de Paiva, Thomas Ehrhard and Lorenzo Tortora De Falco |
| Keywords: | |
| Abstract: | |
| Pages: | 1 |
| Paper: |  |