MSc Svitan Gaborovič [03781]

1. GABOROVIČ, Svitan. A note on discriminability of lambda terms. Glasnik matematički. Serija 3. 1996, vol. 31, št. 51, str. 189-191. ISSN 0017-095X. [COBISS.SI-ID 2545942]

2. GABOROVIČ, Svitan. Discriminators in Lambda Calculus. CIT : journal of computing and information technology. 1995, let. 3, št. 4, str. 255-277. ISSN 1330-1136. [COBISS.SI-ID 2129430]

3. GABOROVIČ, Svitan. On an application of automata in lambda calculus. Znanstvena revija. Naravoslovje in matematika= Natural sciences and mathematics. 1990, let. 2, št. 1, str. 51-54. ISSN 0353-5045. [COBISS.SI-ID 20132610]

4. GABOROVIČ, Svitan. A construction of partial product and partial exponentiation by local adjunction. In: ITI '95 : proceedings of the 17th International Conference on Information Technology Interfaces, Pula, Croatia, June 13-16, 1995. Zagreb: University Computing Centre, 1995. Str. 355-360. [COBISS.SI-ID 7583236]

5. GABOROVIČ, Svitan. Strong discriminability in lambda calculus. In: ITI '95 : proceedings of the 17th International Conference on Information Technology Interfaces, Pula, Croatia, June 13-16, 1995. Zagreb: University Computing Centre, 1995. Str. 361-366. [COBISS.SI-ID 7583492]

6. GABOROVIČ, Svitan. Categories with domains. In: ČERIĆ, Vlatko (ed.), HLJUZ DOBRIĆ, Vesna (ed.). Proceedings of the 16th International Conference on Information Technology Interfaces, Pula, Croatia, June 14-17, 1994 : ITI '94. Zagreb: University Computing Centre, 1994. Str. 361-366. ITI. ISSN 1330-1012. [COBISS.SI-ID 6124292]

7. GABOROVIČ, Svitan. Local adjunction in order enriched categories. In: ČERIĆ, Vlatko (ed.), HLJUZ DOBRIĆ, Vesna (ed.). Proceedings of the 16th International Conference on Information Technology Interfaces, Pula, Croatia, June 14-17, 1994 : ITI '94. Zagreb: University Computing Centre, 1994. Str. 367-372. ITI. ISSN 1330-1012. [COBISS.SI-ID 6124548]