Subtree Replacement Systems: A Unifying Theory for Recursive Equations, LISP, Lucid and Combinatory Logic

Mike O'Donnell

Browse the full STOC paper archive.