FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
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: