Optimizing Optimal Reduction: A Type Inference Algorithm for Elementary Affine Logic
Logic in Computer Science
2007-05-23 v1
Abstract
We present a type inference algorithm for lambda-terms in Elementary Affine Logic using linear constraints. We prove that the algorithm is correct and complete.
Cite
@article{arxiv.cs/0305011,
title = {Optimizing Optimal Reduction: A Type Inference Algorithm for Elementary Affine Logic},
author = {Paolo Coppola and Simone Martini},
journal= {arXiv preprint arXiv:cs/0305011},
year = {2007}
}
Related papers
View all related →
Logic in Computer Science · Computer Science
A feasible algorithm for typing in Elementary Affine Logic
Patrick Baillot, Kazushige Terui
2007-05-23
Logic in Computer Science · Computer Science
Light Logics and Optimal Reduction: Completeness and Complexity
Patrick Baillot, Paolo Coppola, Ugo Dal Lago
2007-05-23
Logic in Computer Science · Computer Science
A Type System for the Vectorial Aspect of the Linear-Algebraic Lambda-Calculus
Pablo Arrighi, Alejandro Díaz-Caro, Benoît Valiron
2012-08-01
Logic in Computer Science · Computer Science
Higher-Order Equational Pattern Anti-Unification [Preprint]
David M. Cerna, Temur Kutsia
2022-08-02
Logic in Computer Science · Computer Science
A framework for computing upper bounds in passive learning settings
Benjamin Bordais, Daniel Neider
2025-06-04
Logic in Computer Science · Computer Science
Light types for polynomial time computation in lambda-calculus
Patrick Baillot, Kazushige Terui
2016-08-31
Logic in Computer Science · Computer Science
Verification of Ptime Reducibility for system F Terms: Type Inference in<br> Dual Light Affine Logic
Vincent Atassi, Patrick Baillot, Kazushige Terui
2015-07-01
Logic in Computer Science · Computer Science
The Vectorial $\lambda$-Calculus
Pablo Arrighi, Alejandro Díaz-Caro, Benoît Valiron
2017-05-12
Logic in Computer Science · Computer Science
Pattern Unification for the Lambda Calculus with Linear and Affine Types
Anders Schack-Nielsen, Carsten Schürmann
2010-09-16
Logic in Computer Science · Computer Science
Towards Parameterized Regular Type Inference Using Set Constraints
F. Bueno, J. Navas, M. Hermenegildo
2010-02-16
Logic in Computer Science · Computer Science
Computational Adequacy for Substructural Lambda Calculi
Vladimir Zamdzhiev
2021-01-27
Programming Languages · Computer Science
Refinement Type Inference via Horn Constraint Optimization
Kodai Hashimoto, Hiroshi Unno
2015-05-19
Representation Theory · Mathematics
Affine Standard Lyndon words: A-type
Yehor Avdieiev, Alexander Tsymbaliuk
2024-10-03
Logic in Computer Science · Computer Science
Soft lambda-calculus: a language for polynomial time computation
Patrick Baillot, Virgile Mogbil
2007-05-23
Logic in Computer Science · Computer Science
Full Abstraction for a Recursively Typed Lambda Calculus with Parallel Conditional
Fritz Müller
2008-06-12
Logic in Computer Science · Computer Science
On the Elementary Affine Lambda-Calculus with and Without Fixed Points
Lê Thành Dũng Nguyen
2019-08-15
Machine Learning · Computer Science
Provable Algorithms for Inference in Topic Models
Sanjeev Arora, Rong Ge, Frederic Koehler, Tengyu Ma +1
2016-05-30
Logic · Mathematics
Term Assignment and Categorical Models for Intuitionistic Linear Logic with Subexponentials
Daniel Rogozin
2025-10-03
Category Theory · Mathematics
Semantic Proof of Confluence of the Categorical Reduction System for Linear Logic
Ryu Hasegawa
2021-05-04
Programming Languages · Computer Science
Linearly Qualified Types: Generic inference for capabilities and uniqueness
Arnaud Spiwack, Csongor Kiss, Jean-Philippe Bernardy, Nicolas Wu +1
2022-07-25
Programming Languages · Computer Science
OptTyper: Probabilistic Type Inference by Optimising Logical and Natural Constraints
Irene Vlassi Pandi, Earl T. Barr, Andrew D. Gordon, Charles Sutton
2021-03-30
Logic in Computer Science · Computer Science
Verification of Ptime reducibility for system F terms via Dual Light Affine Logic
Vincent Atassi, Patrick Baillot, Kazushige Terui
2007-05-23
Programming Languages · Computer Science
Data Type Inference for Logic Programming
João Barbosa, Mário Florido, Vítor Santos Costa
2021-08-17
Logic in Computer Science · Computer Science
Learning Formulas in Finite Variable Logics
Paul Krogmeier, P. Madhusudan
2021-11-15
Programming Languages · Computer Science
Type Inference for Static Compilation of JavaScript (Extended Version)
Satish Chandra, Colin S. Gordon, Jean-Baptiste Jeannin, Cole Schlesinger +3
2016-10-19