Researchers
Gilezan, Silvia
Results 101-119 of 119
| Issue Date | Title | Author(s) | Type | Мp-cat. |
|---|---|---|---|---|
| 2000 | Intersection types and topologies in lambda calculus | Ghilezan, Silvia   | Conference Paper | Mp. category will be shown later |
| 1999 | Natural deduction and sequent typed lambda calculus | Ghilezan, Silvia | Article | Mp. category will be shown later |
| 1999 | Topologies in lambda calculus | Ghilezan, Silvia | Conference Paper | Mp. category will be shown later |
| 1997 | Natural deduction versus sequent lambda calculus | Ghilezan, Silvia | Conference Paper | Mp. category will be shown later |
| 1997 | Cut elimination in the simply typed lambda calculus | Ghilezan, Silvia | Conference Paper | Mp. category will be shown later |
| 1996 | Generalized finiteness of developments | Ghilezan, Silvia | Article | Mp. category will be shown later |
| 1996 | Some topological properties of the lambda calculus | Ghilezan, Silvia | Article | Mp. category will be shown later |
| 1994 | Application of typed lambda calculi in the untyped lambda calculus | Ghilezan, Silvia | Article | 23M23 |
| 1994 | Conjugation in SerboCroatian | Ghilezan, Silvia | Article | Mp. category will be shown later |
| 1993 | Inhabitation in intersection and union type assignment systems | Ghilezan, Silvia | Article | Mp. category will be shown later |
| 1993 | Intersection types in lambda calculus and logic | Gilezan, Silvia | Doctoral theses | 70M70 |
| 1993 | A note on typed combinators and typed lambda terms | Ghilezan, Silvia | Article | Mp. category will be shown later |
| 1992 | Peirce's law and lambda calculus | Ghilezan, Silvia | Conference Paper | Mp. category will be shown later |
| 1991 | Lambda calculi with intersection types | Ghilezan, Silvia | Conference Paper | Mp. category will be shown later |
| 1990 | Typed combinators and typed lambda terms | Ghilezan, Silvia | Conference Paper | Mp. category will be shown later |
| 1990 | Some restricted classes of typed lambda terms | Ghilezan, Silvia | Conference Paper | Mp. category will be shown later |
| 1989 | The correspondence between weak implicational logics and typed lambda calculus | Ghilezan, Silvia | Conference Paper | Mp. category will be shown later |
| 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 ; Жунић, Јовиша | Text book | Mp. category will be shown later |
| 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 | Text book | Mp. category will be shown later |