2 papers
cs.LO2024
Resource approximation for the -calculus
Davide Barbarossa
The -calculus plays a central role in the theory of programming languages as it extends the Curry-Howard correspondence to classical logic. A major drawback is that it does not…
cs.LO2024
Stability Property for the Call-by-Value -calculus through Taylor Expansion
Davide Barbarossa
We prove the Stability Property for the call-by-value -calculus (CbV in the following). This result states necessary conditions under which the contexts of the CbV -calculus…