Steffen van Bakel, Maribel Fernández. Normalization, approximation, and semantics for combinator systems. Theoretical Computer Science, 290(1):975-1019, 2003.
@article{BakelF03,
title = {Normalization, approximation, and semantics for combinator systems},
author = {Steffen van Bakel and Maribel Fernández},
year = {2003},
tags = {semantics},
researchr = {https://researchr.org/publication/BakelF03},
cites = {0},
citedby = {0},
journal = {Theoretical Computer Science},
volume = {290},
number = {1},
pages = {975-1019},
}