Normalisation for dynamic pattern calculi

DOI10.4230/LIPICS.RTA.2012.117zbMATH Open1437.68040MaRDI QIDQ5111900FDOQ5111900

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

Publication date: 27 May 2020

Recommendations

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

zbMATH Keywords

needednesssequentialitypattern calculireduction strategies

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)

Cited In (5)

• On abstract normalisation beyond neededness
• Some methods for ``normalizing patterns
• Title not available (Why is that?)
• Title not available (Why is that?)
• Pure pattern calculus à la de Bruijn

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)