Sciweavers

Share
ENTCS
2000

The simply typed rewriting calculus

8 years 10 months ago
The simply typed rewriting calculus
The rewriting calculus is a rule construction and application framework. As such it embeds in a uniform way term rewriting and lambda-calculus. Since rule application is an explicit object of the calculus, it allows us also to handle the set of results explicitly. We present a simply typed version of the rewriting calculus. With a good choice of the type system, we show that the calculus is type preserving and terminating, i.e. verifies the subject reduction and strong normalization properties.
Horatiu Cirstea, Claude Kirchner
Added 18 Dec 2010
Updated 18 Dec 2010
Type Journal
Year 2000
Where ENTCS
Authors Horatiu Cirstea, Claude Kirchner
Comments (0)
books