scientific article; zbMATH DE number 7441264

zbMath1483.68129arXiv1701.04916MaRDI QIDQ5014806

Antoine Allioux

Publication date: 8 December 2021

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

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

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Combinatory logic and lambda calculus (03B40) Other nonclassical models of computation (68Q09)

Cites Work

• Uniformity and the Taylor expansion of ordinary lambda-terms
• Reversible, irreversible and optimal \(\lambda\)-machines
• The differential lambda-calculus
• The algebraic lambda calculus
• Logical Approaches to Computational Barriers

This page was built for publication: