Complete and partial redex trails of functional computations

J. Sparud, C. Runciman

Research output: Contribution to conferencePaper

Original languageUndefined/Unknown
Pages160--177
Publication statusPublished - 1997

Cite this