Laurence Puel

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

◀ ▶ joint publications with Delia Kesner

> Home > Persons > Laurence Puel

Publications

1999
[j4]
- view
  authority control:
- export record
  dblp key:
  - journals/aaecc/FerreiraKP99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/aaecc/FerreiraKP99
Maria C. F. Ferreira, Delia Kesner, Laurence Puel:
lambda-Calculi with Explicit Substitutions Preserving Strong Normalization. Appl. Algebra Eng. Commun. Comput. 9(4): 333-371 (1999)
1998
[c8]
- view
  authority control:
- export record
  dblp key:
  - conf/mfcs/FerreiraKP98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mfcs/FerreiraKP98
Maria C. F. Ferreira, Delia Kesner, Laurence Puel:
Reducing AC-Termination to Termination. MFCS 1998: 239-247
1996
[j3]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/iandc/KesnerPT96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iandc/KesnerPT96
Delia Kesner, Laurence Puel, Val Tannen:
A Typed Pattern Calculus. Inf. Comput. 124(1): 32-61 (1996)
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/alp/FerreiraKP96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/alp/FerreiraKP96
Maria C. F. Ferreira, Delia Kesner, Laurence Puel:
Lambda-Calculi with Explicit Substitutions and Composition Which Preserve Beta-Strong Normalization. ALP 1996: 284-298
1993
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/lics/Breazu-TannenKP93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lics/Breazu-TannenKP93
Val Tannen, Delia Kesner, Laurence Puel:
A Typed Pattern Calculus. LICS 1993: 262-274

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.