`Travelled to:`

1 × France

1 × Sweden

1 × The Netherlands

2 × Spain

`Collaborated with:`

∅ A.J.Dikovsky A.Foret P.d.Groote C.Retoré E.Garel

`Talks about:`

partial (3) valu (3) type (3) interact (2) languag (2) grammar (2) evalu (2) iter (2) hierarchi (1) axiomatis (1)

## Person: Denis Béchet

### DBLP: B=eacute=chet:Denis

### Contributed to:

### Wrote 6 papers:

- CIAA-2011-BechetDF #strict
- Categorial Grammars with Iterated Types form a Strict Hierarchy of k-Valued Languages (DB, AJD, AF), pp. 42–52.
- LATA-2008-BechetDFG
- Optional and Iterated Types for Pregroup Grammars (DB, AJD, AF, EG), pp. 88–100.
- RTA-2001-Bechet #interactive
- Universal Interaction Systems with Only Two Agents (DB), pp. 3–14.
- RTA-1997-BechetGR #axiom #partial order
- A Complete Axiomatisation for the Inclusion of Series-Parallel Partial Orders (DB, PdG, CR), pp. 230–240.
- ESOP-1996-Bechet #encoding #partial evaluation #using
- Removing Value Encoding Using Alternative Values in Partial Evaluation of Strongly-Typed Languages (DB), pp. 77–91.
- WSA-1992-Bechet #interactive #partial evaluation
- Partial Evaluation of Interaction Nets (DB), pp. 331–338.