Organisations
Univerzitet u Novom Sadu, Fakultet tehničkih nauka
Rezultati obuhvataju radove istraživača koji su TRENUTNO zaposleni u prikazanoj instituciji.
| Godina | Naslov | Autor(i) | Tip rezultata | Mp-kat. |
|---|---|---|---|---|
| 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 | Article | Mp. category will be shown later |
| 1996 | Strong normalization and typability with intersection types | Ghilezan, Silvia | Article | Mp. category will be shown later |