Истраживачи
Gilezan, Silvia
Резултати 101-119 од 119
| Година | Наслов | Аутор(и) | Тип резултата | Мп-кат. |
|---|---|---|---|---|
| 2000 | Intersection types and topologies in lambda calculus | Ghilezan, Silvia   | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 1999 | Natural deduction and sequent typed lambda calculus | Ghilezan, Silvia | Научни чланак | Мп категорија ће бити приказана накнадно. |
| 1999 | Topologies in lambda calculus | Ghilezan, Silvia | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 1997 | Natural deduction versus sequent lambda calculus | Ghilezan, Silvia | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 1997 | Cut elimination in the simply typed lambda calculus | Ghilezan, Silvia | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 1996 | Some topological properties of the lambda calculus | Ghilezan, Silvia | Научни чланак | Мп категорија ће бити приказана накнадно. |
| 1996 | Generalized finiteness of developments | Ghilezan, Silvia | Научни чланак | Мп категорија ће бити приказана накнадно. |
| 1994 | Conjugation in SerboCroatian | Ghilezan, Silvia | Научни чланак | Мп категорија ће бити приказана накнадно. |
| 1994 | Application of typed lambda calculi in the untyped lambda calculus | Ghilezan, Silvia | Научни чланак | 23M23 - Међународни часопис категорије M23 |
| 1993 | Intersection types in lambda calculus and logic | Gilezan, Silvia | Докторска дисертација | 70M70 - Одбрањена докторска дисертација |
| 1993 | A note on typed combinators and typed lambda terms | Ghilezan, Silvia | Научни чланак | Мп категорија ће бити приказана накнадно. |
| 1993 | Inhabitation in intersection and union type assignment systems | Ghilezan, Silvia | Научни чланак | Мп категорија ће бити приказана накнадно. |
| 1992 | Peirce's law and lambda calculus | Ghilezan, Silvia | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 1991 | Lambda calculi with intersection types | Ghilezan, Silvia | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 1990 | Typed combinators and typed lambda terms | Ghilezan, Silvia | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 1990 | Some restricted classes of typed lambda terms | Ghilezan, Silvia | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 1989 | Zbirka rešenih zadataka sa pismenih ispita iz Matematike 2 - na Fakultetu tehničkih nauka u Novom Sadu | Унгар, Вера; Uzelac, Zorica ; Doroslovački, Rade ; Adžić, Nevenka; Врцељ, Весна; Gilezan, Silvia ; Жунић, Јовиша | Уџбеник | Мп категорија ће бити приказана накнадно. |
| 1989 | The correspondence between weak implicational logics and typed lambda calculus | Ghilezan, Silvia | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 1987 | Zbirka rešenih zadataka sa pismenih ispita iz Matematike I na Fakultetu tehničkih nauka u Novom Sadu | Adžić, Nevenka; Vrcelj-Kaćanski, Vesna; Gilezan, Silvia ; Doroslovački, Rade ; Nikić, Jovanka; Uzelac, Zorica | Уџбеник | Мп категорија ће бити приказана накнадно. |