Searching for authors named Laurence Puel – sorted by Relevance.
4 documents found, showing 1 through 4.
-
Compiling Pattern Matching by Term Decomposition
- …4 Compiling Pattern Matching by Term Decomposition Laurence Puel Asc ander Su arez January 1990…
- Cited by 20 (0 self) – Add To MetaCart
-
A Typed Pattern Calculus
- …A Typed Pattern Calculus Delia Kesner Laurence Puel Val Tannen z Abstract The theory…
- Cited by 46 (11 self) – Add To MetaCart
-
lambda-calculi with explicit substitutions and composition which preserve beta -strong normalization (Extended Abstract)
- … (Extended Abstract) Maria C. F. Ferreira 1 and Delia Kesner 2 and Laurence Puel 2 1 Dep. de Inform…
- Cited by 23 (3 self) – Add To MetaCart
-
Reducing AC-Termination to Termination
- …Reducing AC-Termination to Termination Maria C. F. Ferreira Delia Kesner z Laurence Puel z…
- Cited by 4 (0 self) – Add To MetaCart
Showing 1 through 4.
