P. Trigg, J. Roger Hindley, Martin W. Bunder. Combinatory Abstraction Bsing B, B and Friends. Theoretical Computer Science, 135(2):405-422, 1994.
@article{TriggHB94,
title = {Combinatory Abstraction Bsing B, B and Friends},
author = {P. Trigg and J. Roger Hindley and Martin W. Bunder},
year = {1994},
tags = {abstraction},
researchr = {https://researchr.org/publication/TriggHB94},
cites = {0},
citedby = {0},
journal = {Theoretical Computer Science},
volume = {135},
number = {2},
pages = {405-422},
}