A Modal Lambda Calculus with Iteration and Case Constructs. - Joëlle Despeyroux; Pierre Leleu (TYPES, 1998)

Metatheoretic Results for a Modal lambda-Calculus - Joëlle Despeyroux; Pierre Leleu (J. Funct. Log. Program., 2000)

Recursion over objects of functional type. - Joëlle Despeyroux; Pierre Leleu (Math. Struct. Comput. Sci., 2001)