Distributive ρ-calculus

DOI10.1016/j.entcs.2007.06.010zbMath1279.03057OpenAlexW2027230920MaRDI QIDQ2873778

Horatiu Cirstea, Benjamin Wack, Clément Houtmann

Publication date: 24 January 2014

Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.entcs.2007.06.010

zbMATH Keywords

term rewriting systemslambda calculusfixpointsrewriting calculus

Mathematics Subject Classification ID

Logic in computer science (03B70) Grammars and rewriting systems (68Q42) Combinatory logic and lambda calculus (03B40)

Related Items

Towards a Sharing Strategy for the Graph Rewriting Calculus ⋮ Distributive ρ-calculus

Cites Work

• Unnamed Item
• Lambda calculus with patterns
• A feature constraint system for logic programming with entailment
• ELAN from a rewriting logic point of view
• Distributive ρ-calculus
• Pattern Matching in Trees
• Fast Pattern Matching in Strings
• Types for Proofs and Programs
• Parallel reductions in \(\lambda\)-calculus