Home > eis > papers > 1889
Peter Trigg J Roger Hindley, University College Swansea, UK Martin W. Bunder, University of WollongongFollow
87054
Trigg, P., Hindley, J. Roger. & Bunder, M. W. (1994). Combinatory abstraction using B, B and friends. Theoretical Computer Science, 135 (2), 405-422.
Please refer to publisher version or contact your library.
DOWNLOADS
Since February 04, 2014
http://dx.doi.org/10.1016/0304-3975(94)90114-7
Advanced Search
Publication Details
Trigg, P., Hindley, J. Roger. & Bunder, M. W. (1994). Combinatory abstraction using B, B and friends. Theoretical Computer Science, 135 (2), 405-422.