Gilezan, Silvia

Мрежа сарадње Статистика Имејл упозорење RSS Feed

Publications


Прецизирано по:
Аутор:  Dougherty D.
Датум издавања:  2008

Резултати 1-1 од 1 (Време претраге: 0.002 секунди).

Датум издавањаНасловАутор(и)
128-мај-2008Characterizing strong normalization in the Curien-Herbelin symmetric lambda calculus: Extending the Coppo-Dezani heritageDougherty D.; Gilezan, Silvia ; Lescanne P.