Confluence of Pattern-Based Calculi

DOI10.1007/978-3-540-73449-9_8MaRDI QIDQ5432334zbMATH OpenOpenAlexFDO

Authors Horatiu Cirstea, Germain Faure

Publication date 2 January 2008

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-73449-9_8

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Grammars and rewriting systems (68Q42)

Recommendations

• Pattern-based calculi with finitary matching
• Functional and Logic Programming
• Programming Languages and Systems
• A typed pattern calculus
• First-class patterns

Cited in

(8)

• A concurrent pattern calculus
• Concurrent Pattern Calculus
• Continuation models for the lambda calculus with constructors
• First-class patterns
• Pattern-based calculi with finitary matching
• Normalisation for dynamic pattern calculi
• Computing Depths of Patterns
• Programming Languages and Systems

This page was built for publication: Confluence of Pattern-Based Calculi

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5432334)