L. Puel

Using Unavoidable Set of Trees to Generalize Kruskal's Theorem

Laurence Puel, L. Puel, Laurence Puel, 1989, J. Symb. Comput..

Embedding with Patterns and Associated Recursive Path Ordering

Laurence Puel, L. Puel, 1989, RTA.

A typed pattern calculus

Val Tannen, Delia Kesner, Laurence Puel, 1993, [1993] Proceedings Eighth Annual IEEE Symposium on Logic in Computer Science.

Reducing AC-Termination to Termination

Delia Kesner, Laurence Puel, Maria C. F. Ferreira, 1998, MFCS.

Lambda-Calculi with Explicit Substitutions and Composition Which Preserve Beta-Strong Normalization

Delia Kesner, Laurence Puel, Maria C. F. Ferreira, 1996, ALP.