Conditional and typed rewriting systems : proceedings - Kaplan S; International CTRS Workshop( 2nd : 1990 : Montreal ); International CTRS Workshop 2nd Montreal, 1990 (Berlin Springer Verlag, 1991)
Keywords: Computer programming; Typed rewriting systems