Rewriting calculus with(out) types (2002)

Cached

Download Links

by Horatiu Cirstea , Claude Kirchner , Luigi Liquori
Venue:Proceedings of the fourth workshop on rewriting logic and applications
Citations:22 - 13 self