1993
Combinatory reduction systems: introduction and survey. A collection of contributions in honour of Corrado Böhm on the occasion of his 70th birthday.
Publication
Publication
Theoretical Computer Science , Volume 121 - Issue 1-2 p. 279- 308
Additional Metadata | |
---|---|
, | |
elsevier | |
Theoretical Computer Science | |
Organisation | Specification and Analysis of Embedded Systems |
Klop, J. W., van Oostrom, V., & van Raamsdonk, F. (1993). Combinatory reduction systems: introduction and survey. A collection of contributions in honour of Corrado Böhm on the occasion of his 70th birthday. Theoretical Computer Science, 121(1-2), 279–308. |
See Also |
---|