• DOI:10.1007/978-3-642-29822-6_4
Corpus ID: 13254859

Call-by-Value Solvability, Revisited

@inproceedings{Accattoli2012CallbyValueSR,
  title={Call-by-Value Solvability, Revisited},
  author={Beniamino Accattoli and Luca Paolini},
  booktitle={FLOPS},
  year={2012}
}

• Beniamino Accattoli, Luca Paolini
• Published in FLOPS 2012
• Mathematics, Computer Science

In the call-by-value lambda-calculus solvable terms have been characterised by means of call-by-name reductions, which is disappointing and requires complex reasonings. We introduce the value-substitution lambda-calculus, a simple calculus borrowing ideas from Herbelin and Zimmerman's call-by-value λ CBV calculus and from Accattoli and Kesner's substitution calculus λ sub . In this new setting, we characterise solvable terms as those terms having normal form with respect to a suitable… Expand

View via Publisher

hal.inria.fr

Save to Library

Create Alert

Cite

Launch Research Feed