Type theories, normal forms, and D∞-lambda-models
Information and Computation
Lambda-calculus, types and models
Lambda-calculus, types and models
Intersection type assignment systems
Selected papers of the thirteenth conference on Foundations of software technology and theoretical computer science
Call-by-Value Separability and Computability
ICTCS '01 Proceedings of the 7th Italian Conference on Theoretical Computer Science
Parametric parameter passing λ-calculus
Information and Computation
The Parametric Lambda Calculus: A Meta-Model for Computation (Texts in Theoretical Computer Science)
The Parametric Lambda Calculus: A Meta-Model for Computation (Texts in Theoretical Computer Science)
Electronic Notes in Theoretical Computer Science (ENTCS)
Calculi, types and applications
Theoretical Computer Science
Theoretical Computer Science
Strong normalization from an unusual point of view
Theoretical Computer Science
Hi-index | 0.00 |
This paper introduces the Φ-calculus, a new call-by-value version of the λ-calculus, following the spirit of Plotkin's λβv-calculus. The Φ-calculus satisfies some interesting properties, in particular that its set of solvable terms coincides with the set of β-strongly normalizing terms in the classical λ-calculus.