The Cost of Usage in the ?-Calculus

DOI10.1109/LICS.2013.35zbMath1366.03170OpenAlexW2044875378MaRDI QIDQ5271066

Jean-Jacques Levy, Andrea Asperti

Publication date: 3 July 2017

Published in: 2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1109/lics.2013.35

zbMATH Keywords

standardization, beta reduction, lambda calculus, prefixes, stability

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40)

Related Items (1)

An estimation for the lengths of reduction sequences of the $\lambda\mu\rho\theta$-calculus

This page was built for publication: The Cost of Usage in the ?-Calculus