Title

Combinatory abstraction using B, B and friends

RIS ID

87054

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.

Please refer to publisher version or contact your library.

Share

COinS
 

Link to publisher version (DOI)

http://dx.doi.org/10.1016/0304-3975(94)90114-7