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:
2011
2008
20011997
1996
1992Wrote 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.