Structures for lazy semantics. - Olivier Bastonero; Alberto Pravato; Simona Ronchi Della Rocca (PROCOMET, 1998)

Strong Stability and the Incompleteness of Stable Models for lambda-Calculus. - Olivier Bastonero; Xavier Gouy (Ann. Pure Appl. Log., 1999)