scientific article
From MaRDI portal
Publication:2778872
zbMath0981.68065MaRDI QIDQ2778872
Claude Kirchner, Horatiu Cirstea, Luigi Liquori
Publication date: 21 March 2002
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2051/20510077
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Functional programming and lambda calculus (68N18) Grammars and rewriting systems (68Q42) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items (11)
Rewriting logic: Roadmap and bibliography ⋮ Expressing combinatory reduction systems derivations in the rewriting calculus ⋮ A \(\rho\)-calculus of explicit constraint application ⋮ Lambda calculus with patterns ⋮ Type soundness for path polymorphism ⋮ Unnamed Item ⋮ A Framework for Defining Logical Frameworks ⋮ Term Collections in λ and ρ-calculi ⋮ From Functional Programs to Interaction Nets via the Rewriting Calculus ⋮ Distributive ρ-calculus ⋮ ELAN from a rewriting logic point of view
Uses Software
This page was built for publication:
