The Simply Typed Rewriting Calculus (2000)

by Horatiu Cirstea , Claude Kirchner
Venue:In 3rd International Workshop on Rewriting Logic and its Applications
Citations:10 - 5 self