scientific article; zbMATH DE number 7205328

DOI10.4230/LIPIcs.RTA.2012.117zbMath1437.68040MaRDI QIDQ5111900

Alejandro Ríos, Eduardo Bonelli, Carlos Lombardi, Delia Kesner

Publication date: 27 May 2020

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

needednesssequentialitypattern calculireduction strategies

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)

Related Items

Unnamed Item ⋮ Pure pattern calculus à la de Bruijn ⋮ On abstract normalisation beyond neededness