About the efficient reduction of lambda terms
Logic in Computer Science
2017-01-17 v1
Authors:
Andrea Asperti
Abstract
There is still a lot of confusion about "optimal" sharing in the lambda calculus, and its actual efficiency. In this article, we shall try to clarify some of these issues.
Cite
@article{arxiv.1701.04240,
title = {About the efficient reduction of lambda terms},
author = {Andrea Asperti},
journal= {arXiv preprint arXiv:1701.04240},
year = {2017}
}
Related papers
View all related →
Logic in Computer Science · Computer Science
Sharing Equality is Linear
Andrea Condoluci, Beniamino Accattoli, Claudio Sacerdoti Coen
2019-07-16
Programming Languages · Computer Science
Maximal Sharing in the Lambda Calculus with letrec
Clemens Grabmayer, Jan Rochel
2015-12-04
Logic in Computer Science · Computer Science
Useful Open Call-by-Need
Beniamino Accattoli, Maico Leberle
2021-10-29
Logic in Computer Science · Computer Science
Positive Sharing and Abstract Machines
Beniamino Accattoli, Claudio Sacerdoti Coen, Jui-Hsuan Wu
2025-09-05
Logic in Computer Science · Computer Science
$\Delta$-Nets: Interaction-Based System for Optimal Parallel $\lambda$-Reduction
Daniel Augusto Rizzi Salvadori
2025-06-24
Programming Languages · Computer Science
Reduction Strategies in the Lambda Calculus and Their Implementation through Derivable Abstract Machines: Introduction
Tomasz Drab
2024-05-22
Signal Processing · Electrical Eng. & Systems
An efficient solver for designing optimal sampling schemes
Filip Elvander, Johan Swärd, Andreas Jakobsson
2021-11-11
Logic in Computer Science · Computer Science
A Simplified Suspension Calculus and its Relationship to Other Explicit Substitution Calculi
Andrew Gacek, Gopalan Nadathur
2007-05-23
Discrete Mathematics · Computer Science
Optimizing Properties of Balanced Words
Nikita Sidorov
2011-08-19
Human-Computer Interaction · Computer Science
On Optimizing Human-Machine Task Assignments
Andreas Veit, Michael Wilber, Rajan Vaish, Serge Belongie +47
2015-09-28
Logic in Computer Science · Computer Science
Positive Focusing is Directly Useful
Beniamino Accattoli, Jui-Hsuan Wu
2024-12-18
Logic in Computer Science · Computer Science
On the Invariance of the Unitary Cost Model for Head Reduction (Long Version)
Beniamino Accattoli, Ugo Dal Lago
2012-02-09
Computation · Statistics
Efficient Computational Algorithm for Optimal Allocation in Regression Models
Wei Gao, Ping Shing Chan, Hon Keung Tony Ng, Xiaolei Lu
2013-10-28
Logic in Computer Science · Computer Science
Universal Semantics for the Stochastic Lambda-Calculus
Pedro Amorim, Dexter Kozen, Radu Mardare, Prakash Panangaden +1
2021-05-18
Data Structures and Algorithms · Computer Science
Entropy, Optimization and Counting
Mohit Singh, Nisheeth K. Vishnoi
2013-05-02
Programming Languages · Computer Science
Three Optimisations for Sharing
Jacob M. Howe, Andy King
2007-05-23
Logic in Computer Science · Computer Science
Optimizing Optimal Reduction: A Type Inference Algorithm for Elementary Affine Logic
Paolo Coppola, Simone Martini
2007-05-23
Optimization and Control · Mathematics
A Tutorial on the Structure of Distributed Optimization Algorithms
Bryan Van Scoy, Laurent Lessard
2023-09-21
Programming Languages · Computer Science
A Theory of Explicit Substitutions with Safe and Full Composition
Delia Kesner
2015-07-01
Methodology · Statistics
Optimal Designs for Copula Models
Elisa Perrone, Werner G. Müller
2014-06-12
Algebraic Topology · Mathematics
Efficient computation of Linking number with certification
Enrico Bertolazzi, Riccardo Ghiloni, Ruben Specogna
2020-01-01
Machine Learning · Computer Science
Implicit Diffusion: Efficient Optimization through Stochastic Sampling
Pierre Marion, Anna Korba, Peter Bartlett, Mathieu Blondel +5
2025-03-07
Machine Learning · Computer Science
The Power of Randomization: Distributed Submodular Maximization on Massive Datasets
Rafael da Ponte Barbosa, Alina Ene, Huy L. Nguyen, Justin Ward
2015-04-23
Optimization and Control · Mathematics
A Multi-Objective Interpretation of Optimal Transport
Johannes M. Schumacher
2017-12-04
Optimization and Control · Mathematics
Efficient points in a sum of sets of alternatives
Anas Mifrani
2025-10-28