The Parametric Lambda-Calculus: a Metamodel for Computation
@inproceedings{Rocca2004ThePL,
title={The Parametric Lambda-Calculus: a Metamodel for Computation},
author={S. Rocca and Luca Paolini},
year={2004}
}I. Syntax.- 1. The Parametric ?-Calculus.- 2. The Call-by-Name ?-Calculus.- 3. The Call-by-Value ?-Calculus.- 4. Further Reading.- II. Operational Semantics.- 5. Parametric Operational Semantics.- 6. Call-by-Name Operational Semantics.- 7. Call-by-Value Operational Semantics.- 8. Operational Extensionality.- 9. Further Reading.- III. Denotational Semantics.- 10. ??-Models.- 11. Call-by-Name Denotational Semantics.- 12. Call-by-Value Denotational Semantics.- 13. Filter ??-Models and Domains.- 14… Expand
37 Citations
Towards a Semantic Measure of the Execution Time in Call-by-Value lambda-Calculus
- Computer Science, Mathematics
- DCM/ITRS
- 2018
- 9
- PDF
A Semantical and Operational Account of Call-by-Value Solvability
- Mathematics, Computer Science
- FoSSaCS
- 2014
- 41
- PDF
Compositional semantics for composable continuations: from abortive to delimited control
- Computer Science
- ICFP
- 2014
- 5
- PDF
The Bang Calculus: an untyped lambda-calculus generalizing call-by-name and call-by-value
- Computer Science
- PPDP
- 2016
- 31
- PDF
ASMs and Operational Algorithmic Completeness of Lambda Calculus
- Computer Science, Mathematics
- Fields of Logic and Computation
- 2010
- 9
- PDF
Lambda Calculus and Probabilistic Computation
- Mathematics, Computer Science
- 2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)
- 2019
- 16
- PDF