Organisations
Univerzitet u Novom Sadu, Fakultet tehničkih nauka
.svg "A preview ftn_logo_optimized(1).svg picture"){kind=logo}
The results include the works of researchers who are CURRENTLY employed at the displayed institution.
| Issue Date | Title | Author(s) | Type | Мp-cat. |
|---|---|---|---|---|
| 1996 | Some topological properties of the lambda calculus | Ghilezan, Silvia   | Article | Mp. category will be shown later |
| 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 |