Gilezan, Silvia

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

Publications


Прецизирано по:
Аутор:  Lescanne P.
Аутор:  Dougherty D.

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

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