Standardization of a Call-By-Value Lambda-Calculus

@inproceedings{Guerrieri2015StandardizationOA,
  title={Standardization of a Call-By-Value Lambda-Calculus},
  author={Giulio Guerrieri and Luca Paolini and S. Rocca},
  booktitle={TLCA},
  year={2015}
}
We study an extension of Plotkin's call-by-value lambda-calculus by means of two commutation rules (sigma-reductions). Recently, it has been proved that this extended calculus provides elegant characterizations of many semantic properties, as for example solvability. We prove a standardization theorem for this calculus by generalizing Takahashi's approach of parallel reductions. The standardization property allows us to prove that our calculus is conservative with respect to the Plotkin's one… Expand
18 Citations
Standardization and Conservativity of a Refined Call-by-Value lambda-Calculus
  • 15
  • PDF
Head reduction and normalization in a call-by-value lambda-calculus
  • 15
  • PDF
The Bang Calculus: an untyped lambda-calculus generalizing call-by-name and call-by-value
  • 31
  • PDF
Open Call-by-Value
  • 29
  • PDF
Towards a Semantic Measure of the Execution Time in Call-by-Value lambda-Calculus
  • 9
  • PDF
Open Call-by-Value (Extended Version)
  • 2
  • PDF
No Solvable Lambda-value Term Left Behind´alvaro
  • PABLO NOGUEIRA Reykjav́ık
  • 2016
  • PDF
Types of Fireballs (Extended Version)
  • 3
  • PDF
Factorize Factorization
  • 1
  • PDF
...
1
2
...

References

SHOWING 1-10 OF 22 REFERENCES
Call-by-Value Solvability, Revisited
  • 33
  • PDF
A Semantical and Operational Account of Call-by-Value Solvability
  • 41
  • PDF
The Parametric λ-Calculus
  • 15
Computational lambda-calculus and monads
  • E. Moggi
  • Mathematics, Computer Science
  • [1989] Proceedings. Fourth Annual Symposium on Logic in Computer Science
  • 1989
  • 1,028
  • PDF
Call-by-Value Separability and Computability
  • 16
Parametric parameter passing Lambda-calculus
  • 18
  • PDF
Call-by-value Solvability
  • 48
  • PDF
Call-by-Name, Call-by-Value and the lambda-Calculus
  • G. Plotkin
  • Computer Science, Mathematics
  • Theor. Comput. Sci.
  • 1975
  • 1,060
  • PDF
Call-by-name, Call-by-value, Call-by-need and the Linear lambda Calculus
  • 68
  • PDF
...
1
2
3
...