Functional pearl: the distributive \(\lambda\)-calculus

DOI10.1007/978-3-030-59025-3_3OpenAlexW3006681913MaRDI QIDQ2039932

Beniamino Accattoli, Alejandro Díaz-Caro

Publication date: 6 July 2021

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

zbMATH Keywords

normalizationrewriting\(\lambda\)-calculustype isomorphisms

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Logic programming (68N17)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Label-selective \(\lambda\)-calculus syntax and confluence
• Fast two-server multi-user searchable encryption with strict access pattern leakage
• Semantics of Typed Lambda-Calculus with Constructors
• A short survey of isomorphisms of types
• The λ-calculus with constructors: Syntax, confluence and separation
• Provable isomorphisms of types
• An analysis of approximations for maximizing submodular set functions—I
• Extending the Extensional Lambda Calculus with Surjective Pairing is Conservative
• The elements of statistical learning. Data mining, inference, and prediction

This page was built for publication: Functional pearl: the distributive \(\lambda\)-calculus