Pierre Leleu

Publication Activity (10 Years)

Years Active: 1998-2001
Publications (10 Years): 0

Publications

Joëlle Despeyroux, Pierre Leleu
Recursion over objects of functional type. Math. Struct. Comput. Sci. 11 (4) (2001)
Joëlle Despeyroux, Pierre Leleu
Metatheoretic Results for a Modal lambda-Calculus J. Funct. Log. Program. 2000 (1) (2000)
Joëlle Despeyroux, Pierre Leleu
A Modal Lambda Calculus with Iteration and Case Constructs. TYPES (1998)