Pattern-based calculi with finitary matching

DOI10.1093/JIGPAL/jzx059zbMath1492.68040OpenAlexW2776656043MaRDI QIDQ5095633

Temur Kutsia, Sandra Alves, Besik Dundua, Mário Florido

Publication date: 10 August 2022

Published in: Logic Journal of the IGPL (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/jigpal/jzx059

zbMATH Keywords

confluencefunctional programminglambda calculuspattern calculusfinitary matching

Mathematics Subject Classification ID

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

Related Items (1)

Unnamed Item

This page was built for publication: Pattern-based calculi with finitary matching