Pierre Leleu

According to our database, Pierre Leleu authored at least 3 papers between 1998 and 2001.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2001

Recursion over objects of functional type.

Joëlle Despeyroux, Pierre Leleu

Math. Struct. Comput. Sci., 2001

2000

Metatheoretic Results for a Modal lambda-Calculus

Joëlle Despeyroux, Pierre Leleu

J. Funct. Log. Program., 2000

1998

A Modal Lambda Calculus with Iteration and Case Constructs.

Joëlle Despeyroux, Pierre Leleu

Proceedings of the Types for Proofs and Programs, 1998