## The Simply Typed Rewriting Calculus (2000)

### View PDF

### Download Links

- [www.loria.fr]
- [www.loria.fr]
- [www.loria.fr]
- [www.loria.fr]
- [www.loria.fr]
- DBLP

### Other Repositories/Bibliography

by
Horatiu Cirstea
,
Claude Kirchner

Venue: | In 3rd International Workshop on Rewriting Logic and its Applications |

Citations: | 10 - 5 self |