Normalisation for dynamic pattern calculi

DOI10.4230/LIPICS.RTA.2012.117MaRDI QIDQ5111900zbMATH OpenFDO

Authors Eduardo Bonelli, Delia Kesner, Carlos Lombardi, A. Ríos

Publication date 27 May 2020

Full work available at URL https://doi.org/10.4230/LIPICS.RTA.2012.117

zbMATH Keywords

needednesspattern calculireduction strategiessequentiality

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)

Recommendations

• Functional and Logic Programming
• On abstract normalisation beyond neededness
• Programming Languages and Systems
• Confluence of Pattern-Based Calculi
• First-class patterns

Cited in

(5)

• Some methods for ``normalizing patterns
• Pure pattern calculus à la de Bruijn
• scientific article; zbMATH DE number 5353378 (Why is no real title available?)
• scientific article; zbMATH DE number 7756108 (Why is no real title available?)
• On abstract normalisation beyond neededness

This page was built for publication: Normalisation for dynamic pattern calculi

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