Travelled to:1 × Sweden
1 × USA
Collaborated with:∅ V.Danos
Talks about:disjunct (1) calculus (1) process (1) algebra (1) normal (1) except (1) local (1) form (1)
Person: Emmanuel Beffara
DBLP: Beffara:Emmanuel
Contributed to:
2008
2003Wrote 2 papers:
- LICS-2008-Beffara #algebra #calculus #process
- An Algebraic Process Calculus (EB), pp. 130–141.
- ICFP-2003-BeffaraD #exception #normalisation
- Disjunctive normal forms and local exceptions (EB, VD), pp. 203–211.