Gilezan, Silvia

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

Publications


Прецизирано по:
Аутор:  Gilezan, Silvia
Пуни текст:  No Fulltext
Аутор:  Lescanne P.
Датум издавања:  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.