Pierre Leleu

	2001
3		Joëlle Despeyroux, Pierre Leleu: Recursion over objects of functional type. Mathematical Structures in Computer Science 11(4): 555-572 (2001)
	2000
2		Joëlle Despeyroux, Pierre Leleu: Metatheoretic Results for a Modal lambda-Calculus Journal of Functional and Logic Programming 2000(1): (2000)
	1998
1		Joëlle Despeyroux, Pierre Leleu: A Modal Lambda Calculus with Iteration and Case Constructs. TYPES 1998: 47-61

Coauthor Index

1

Joëlle Despeyroux

[1] [2] [3]

Last update Fri Jun 1 15:44:53 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page