Gérard Boudol, Pascal Zimmer. Recursion in the call-by-value lambda-calculus. In Zoltán Ésik, Anna Ingólfsdóttir, editors, Fixed Points in Computer Science, FICS 2002, Copenhagen, Denmark, 20-21 July 2002, Preliminary Proceedings. Volume NS-02-2 of BRICS Notes Series, pages 61-66, University of Aarhus, 2002.
Abstract is missing.