Confluence of Pattern-Based Calculi

DOI10.1007/978-3-540-73449-9_8zbMath1203.68069OpenAlexW1556919003MaRDI QIDQ5432334

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)

Related Items (1)

Continuation Models for the Lambda Calculus With Constructors

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