scientific article
From MaRDI portal
Publication:2769430
zbMath0978.68072MaRDI QIDQ2769430
Horatiu Cirstea, Claude Kirchner, Luigi Liquori
Publication date: 5 February 2002
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2030/20300168
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Logic in computer science (03B70) Grammars and rewriting systems (68Q42) Combinatory logic and lambda calculus (03B40)
Related Items
Rewriting logic: Roadmap and bibliography ⋮ Expressing combinatory reduction systems derivations in the rewriting calculus ⋮ Twenty years of rewriting logic ⋮ Typed generic traversal with term rewriting strategies ⋮ A symbolic transformation language and its application to a multiscale method ⋮ Type soundness for path polymorphism ⋮ The vectorial \(\lambda\)-calculus ⋮ Unnamed Item ⋮ Abstract canonical presentations ⋮ Semantic foundations for generalized rewrite theories ⋮ A Polymorphic Type System for the Lambda-Calculus with Constructors ⋮ Generic type-preserving traversal strategies ⋮ Certifying Term Rewriting Proofs in ELAN ⋮ ELAN from a rewriting logic point of view
