Travelled to:
1 × Italy
Collaborated with:
∅
Talks about:
subsumpt (1) runtim (1) reduct (1) label (1) error (1) oper (1)
Person: Laurent Dami
DBLP: Dami:Laurent
Contributed to:
Wrote 1 papers:
- ICALP-1997-Dami #fault #reduction #runtime
- Labelled Reductions, Runtime Errors and Operational Subsumption (LD), pp. 782–793.