Similar Items: Encoding many-valued logic in $lambda$-calculus
- Light Logics and the Call-by-Value Lambda Calculus
- Fully Abstract Encodings of $lambda$-Calculus in HOcore through Abstract Machines
- Call-by-value Termination in the Untyped lambda-calculus
- The Many-Worlds Calculus
- The Safe Lambda Calculus
- Standardization and Conservativity of a Refined Call-by-Value lambda-Calculus