Original language | Undefined/Unknown |
---|---|
Pages | 160--177 |
Publication status | Published - 1997 |
Complete and partial redex trails of functional computations
J. Sparud, C. Runciman
Research output: Contribution to conference › Paper
J. Sparud, C. Runciman
Research output: Contribution to conference › Paper
Original language | Undefined/Unknown |
---|---|
Pages | 160--177 |
Publication status | Published - 1997 |