Gilezan, Silvia

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

Прецизирано по:

Аутор: Lescanne P.

Аутор: Dougherty D.

Тип: Journal/Magazine Article

Датум издавања: 2008

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

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