Организације
Univerzitet u Novom Sadu, Fakultet tehničkih nauka
The results include the works of researchers who are CURRENTLY employed at the displayed institution.
| Issue Date | Title | Author(s) | Type | Мp-cat. |
|---|---|---|---|---|
| 1994 | Application of typed lambda calculi in the untyped lambda calculus | Ghilezan, Silvia | Article | 23M23 |