Author:
Martín Alexis,Ríos Alejandro,Viso Andrés
Subject
General Computer Science,Theoretical Computer Science
Reference28 articles.
1. Typed path polymorphism;Ayala-Rincón;Theor. Comput. Sci.,2019
2. The lambda calculus – its syntax and semantics;Barendregt,1985
3. Normalisation for dynamic pattern calculi;Bonelli,2012
4. On abstract normalisation beyond neededness;Bonelli;Theor. Comput. Sci.,2017
5. de Bruijn indices for metaterms;Bonelli;J. Log. Comput.,2005