Wyślij wiadomość: Conditional and typed rewriting systems :