A Strong Distillery
From MaRDI portal
Publication:3460910
DOI10.1007/978-3-319-26529-2_13zbMath1329.68061arXiv1509.00996OpenAlexW1750600100MaRDI QIDQ3460910
Damiano Mazza, Beniamino Accattoli, Pablo Barenbaum
Publication date: 8 January 2016
Published in: Programming Languages and Systems (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1509.00996
Related Items (7)
A strong call-by-need calculus ⋮ Exponentials as Substitutions and the Cost of Cut Elimination in Linear Logic ⋮ Unnamed Item ⋮ Unnamed Item ⋮ The full-reducing Krivine abstract machine KN simulates pure normal-order reduction in lockstep: A proof via corresponding calculus ⋮ The Useful MAM, a Reasonable Implementation of the Strong $$\lambda $$ -Calculus ⋮ A Fresh Look at the λ-Calculus
This page was built for publication: A Strong Distillery