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.

[PostScript, .ps.gz]