BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: B=eacute=chet:Denis

Contributed to:

CIAA 20112011
LATA 20082008
RTA 20012001
RTA 19971997
ESOP 19961996
WSA 19921992

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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.