Recursion in the call-by-value lambda-calculus, with
P.
Zimmer, Fixed Points in Computer Science Workshop (FICS'02),
part of FLoC'02.
Abstract:
We propose and abstract machine to run the call-by-value
lambda-calculus extended with a call-by-value fixed-point, and
we show that this provides a correct implementation of our calculus.