Journal of the ACM Bibliography

Barry K. Rosen. Tree-manipulating systems and Church-Rosser theorems. Journal of the ACM, 20(1):160-187, January 1973. [BibTeX entry]
Additional Key Words and Phrases: nondeterministic algorithm, normal form, tree, operator-operand structure, recursive definition, conditional expression, call-by-value, call-by-name, recursion theorem, lambda caluclus, Church-Rosser theorem

Selected papers that cite this one

Selected references


  • Journal of the ACM homepage
  • Bibliography top level
  • Journal of the ACM Author Index
  • Search the HBP database