Fairouz Kamareddine, Alejandro Ríos
Generalized β-Reduction and Explicit Substitution
PPDP, 1996.
@inproceedings{PLILP-1996-KamareddineR,
author = "Fairouz Kamareddine and Alejandro Ríos",
booktitle = "{Proceedings of the Eighth International Symposium on Programming Languages: Implementations, Logics and Programs}",
doi = "10.1007/3-540-61756-6_98",
isbn = "3-540-61756-6",
pages = "378--392",
publisher = "{Springer-Verlag}",
series = "{Lecture Notes in Computer Science}",
title = "{Generalized β-Reduction and Explicit Substitution}",
volume = 1140,
year = 1996,
}