1996
Comparing curried and uncurried rewriting
Publication
Publication
Journal of Symbolic Computation , Volume 21 - Issue 1 p. 15- 39
Additional Metadata | |
---|---|
Academic Press | |
Journal of Symbolic Computation | |
Organisation | Specification and Analysis of Embedded Systems |
Kennaway, R., Klop, J. W., Sleep, R., & de Vries, F.-J. (1996). Comparing curried and uncurried rewriting. Journal of Symbolic Computation, 21(1), 15–39. |