The Cost of Usage in the ?-Calculus


A new "inductive" approach to standardization for the lambda-calculus has been recently introduced by Xi, allowing him to establish a double-exponential upper bound |M|2|sigma| for the length of the standard reduction relative to an arbitrary reduction sigma originated in M. In this paper we refine Xi's analysis, obtaining much better bounds, especially for… (More)
DOI: 10.1109/LICS.2013.35
View Slides


Cite this paper

@article{Asperti2013TheCO, title={The Cost of Usage in the ?-Calculus}, author={Andrea Asperti and Jean-Jacques Lex0301vy}, journal={2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science}, year={2013}, pages={293-300} }