Pure pattern calculus à la de Bruijn

DOI10.1016/J.ENTCS.2020.08.006OpenAlexW3092834852WikidataQ113317316 ScholiaQ113317316MaRDI QIDQ2229151

Andrés Viso, Alejandro Ríos, Alexis Martin

Publication date: 22 February 2021

Full work available at URL: https://arxiv.org/abs/2006.07674

zbMATH Keywords

pattern matching\(\alpha\)-equivalencepattern calculide Bruijn indices

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Combinatory logic and lambda calculus (03B40)

Related Items (1)

Pure pattern calculus à la de Bruijn

Cites Work

• On abstract normalisation beyond neededness
• Lambda calculus with patterns
• Higher-order rewrite systems and their confluence
• Type soundness for path polymorphism
• Pattern matching as cut elimination
• Pure pattern calculus à la de Bruijn
• Typed path polymorphism
• de Bruijn Indices for Metaterms
• First-class patterns
• Pattern Calculus
• Processes, Terms and Cycles: Steps on the Road to Infinity
• Programming Languages and Systems
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Pure pattern calculus à la de Bruijn