Call-by-Name and Call-by-Value in Normal Modal Logic
Abstract elided by the publisher.
Related papers
- Normalization for fitch-style modal calculi ICFP 2022
- Sharp Congruences Adequate with Temporal Logics Combining Weak and Strong Modalities TACAS 2020
- Call-by-value and call-by-name: A simple proof of a classic theorem JFP 2025
- A logical analysis of aliasing in imperative higher-order functions ICFP 2005
- An Abstract Machine for Strong Call by Value APLAS 2020
- Commuting Conversions and Join Points for Call-by-Push-Value OOPSLA 2026
- Call-by-value is dual to call-by-name ICFP 2003
- A unifying type-theory for higher-order (amortized) cost analysis POPL 2021