Organizacije



Филтрирано по:
Година:  1996
Тип:  Научни чланак

Резултати обухватају радове истраживача који су ТРЕНУТНО запослени у приказаној институцији.

ГодинаНасловАутор(и)Тип резултатаМп-кат.
1996Some topological properties of the lambda calculusGhilezan, Silvia  Научни чланак
Мп категорија ће бити приказана накнадно.
1996Generalized finiteness of developmentsGhilezan, Silvia  Научни чланак
Мп категорија ће бити приказана накнадно.
1996Strong normalization and typability with intersection typesGhilezan, Silvia  Naučni članak
Mp kategorija će biti prikazana naknadno.