scientific article; zbMATH DE number 7205328

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

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

Publication date: 27 May 2020

Title of this publication is not available (Why is that?)

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:

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