Collaborated with:
A.A.d.Amorim M.Gaboardi J.Hsu S.Katsumata
Talks about:
preserv (1) account (1) semant (1) metric (1)
Person: Ikram Cherigui
DBLP: Cherigui:Ikram
Contributed to:
Wrote 1 papers:
- POPL-2017-AmorimGHKC #metric #semantics
- A semantic account of metric preservation (AAdA, MG, JH, SyK, IC), pp. 545–556.