Corpus ID: 117967021

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
  • 9
  • PDF
A Semantical and Operational Account of Call-by-Value Solvability
  • 41
  • PDF
Compositional semantics for composable continuations: from abortive to delimited control
  • 5
  • PDF
Solvability in Resource Lambda-Calculus
  • 36
  • PDF
ASMs and Operational Algorithmic Completeness of Lambda Calculus
  • 9
  • PDF
Lambda Calculus and Probabilistic Computation
  • C. Faggian, S. Rocca
  • Mathematics, Computer Science
  • 2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)
  • 2019
  • 16
  • PDF
Eager Functions as Processes
  • 9
  • PDF
Implementing Open Call-by-Value
  • 20
  • PDF
Abstract machines for Open Call-by-Value
  • 4
  • PDF
...
1
2
3
4
...