Pure pattern calculus à la de Bruijn

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

Alexis Martin, Andrés Viso, A. Ríos

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

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

Cites Work

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

Cited In (1)

• Pure pattern calculus à la de Bruijn

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

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