Gilezan, Silvia

Mreža saradnje Statistika Imејl upоzоrеnjе RSS Feed

Publications


Prеcizirаnо pо:
Аutоr:  Lescanne P.
Dаtum izdаvаnjа:  2008
Аutоr:  Gilezan, Silvia
Аutоr:  Dougherty D.

Rеzultаti 1-1 оd 1 (Vrеmе prеtrаgе: 0.001 sekundi).

Dаtum izdаvаnjаNаslоvАutоr(i)
128-мај-2008Characterizing strong normalization in the Curien-Herbelin symmetric lambda calculus: Extending the Coppo-Dezani heritageDougherty D.; Gilezan, Silvia ; Lescanne P.