Istraživači
Gilezan, Silvia
Rezultati 101-119 od 119
| Godina | Naslov | Autor(i) | Tip rezultata | Mp-kat. |
|---|---|---|---|---|
| 2000 | Lambda terms for natural deduction, sequent calculus and cut elimination | Barendregt, Henk; Ghilezan, Silvia   | Naučni članak | Mp kategorija će biti prikazana naknadno. |
| 1999 | Natural deduction and sequent typed lambda calculus | Ghilezan, Silvia | Naučni članak | Mp kategorija će biti prikazana naknadno. |
| 1999 | Topologies in lambda calculus | Ghilezan, Silvia | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |
| 1997 | Cut elimination in the simply typed lambda calculus | Ghilezan, Silvia | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |
| 1997 | Natural deduction versus sequent lambda calculus | Ghilezan, Silvia | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |
| 1996 | Some topological properties of the lambda calculus | Ghilezan, Silvia | Naučni članak | Mp kategorija će biti prikazana naknadno. |
| 1996 | Generalized finiteness of developments | Ghilezan, Silvia | Naučni članak | Mp kategorija će biti prikazana naknadno. |
| 1994 | Application of typed lambda calculi in the untyped lambda calculus | Ghilezan, Silvia | Naučni članak | 23M23 - Međunarodni časopis kategorije M23 |
| 1994 | Conjugation in SerboCroatian | Ghilezan, Silvia | Naučni članak | Mp kategorija će biti prikazana naknadno. |
| 1993 | Intersection types in lambda calculus and logic | Gilezan, Silvia | Doktorska disertacija | 70M70 - Odbranjena doktorska disertacija |
| 1993 | A note on typed combinators and typed lambda terms | Ghilezan, Silvia | Naučni članak | Mp kategorija će biti prikazana naknadno. |
| 1993 | Inhabitation in intersection and union type assignment systems | Ghilezan, Silvia | Naučni članak | Mp kategorija će biti prikazana naknadno. |
| 1992 | Peirce's law and lambda calculus | Ghilezan, Silvia | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |
| 1991 | Lambda calculi with intersection types | Ghilezan, Silvia | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |
| 1990 | Typed combinators and typed lambda terms | Ghilezan, Silvia | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |
| 1990 | Some restricted classes of typed lambda terms | Ghilezan, Silvia | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |
| 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 ; Жунић, Јовиша | Udžbenik | Mp kategorija će biti prikazana naknadno. |
| 1989 | The correspondence between weak implicational logics and typed lambda calculus | Ghilezan, Silvia | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |
| 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 | Udžbenik | Mp kategorija će biti prikazana naknadno. |