Research areas
-
theoretical computer science: lambda calculus, type theory.
-
mathematical logic: proof theory, substructural logics.
-
mathematical linguistics.
List of publications and preprints
2001
-
S. Ghilezan : Full intersection
types and topologies in lambda calculus, Journal of Computer
and System Sciences, 62 (2001) 1-14.
-
S. Ghilezan and V. Kuncak: Reducibility method in simply
typed lambda calculus, Novi Sad Journal of Mathematics
31 (2001) 27-32.
-
S. Ghilezan and V. Kuncak: Confluence
of untyped lambda calculus via simple types, accepted for the 5th Italian
Conference on Theoretical Computer Science, (ICTCS'01),
to be held in Turin, Italy, Lecture Notes in Computer Science???
.
-
S. Ghilezan: Types and confluence in lambda calculus, Proceedings
of the 3rd Panhellenic Logic Symposium,
(PLS3) Crete, Greece.
-
S. Ghilezan, V. Kuncak, and S. Likavec: Reducibility
method for termination properties of typed lambda terms, Extended
abstracts of the 5th International Workshop on Termination, (WST'01)
(N. Dershowitz ed.) Utrecht, The Netherlands (2001) 14-16.
2000
1999
-
S. Ghilezan : Natural deduction and sequent
typed lambda calculus, Novi Sad Journal of Mathematics
29, (1999) 209-220.
-
S. Ghilezan: Topologies in lambda calculus, Proceedings of
the 2nd Panhellenic Logic Symposium (Ph. Kolaitis and G. Koletsos
eds), Delphi, Greece (1999) 102-106.
-
H.P. Barendregt and S. Ghilezan: Lambda terms for natural
deduction, sequent calculus and cut elimination, School
of Logic and Computation, Edinburgh, U.K. (1999)
1997
-
M. Dezani-Ciancaglini, S. Ghilezan, and B. Venneri: The ``relevance"
of intersection and union types, Notre Dame Journal of Formal Logic
38
(1997) 246-269.
-
S. Ghilezan: Cut elimination in the simply typed lambda calculus,
Proceedings
of Panhellenic Logic Symposium (A. Kakas ed.), Nicosia, Cyprus
(1997) 21-24.
-
S. Ghilezan: Natural deduction versus sequent lambda calculus, Proceedings
of the 3rd Barcelona Logic Meeting, Barcelona, Spain (1997).
1996
-
S. Ghilezan: Generalized finiteness of developments, Journal
of Automata, Languages and Combinatorics 1 (1996) 247-257.
-
S. Ghilezan: Strong normalization and typability with intersection
types,
Notre Dame Journal of Formal Logic 37 (1996) 44-53.
-
S. Ghilezan: Some topological properties of the lambda calculus,
Kurepa's Symposium, Belgrade, Yugoslavia (V. Kovacevic-Vujcic and Z. Mijajlovic
eds), Scientific Review 19-20 (1996) 65-73.
1994
-
S. Ghilezan: Conjugation in SerboCroatian, Linguistic Analysis
24 (1994) 142-150.
-
S. Ghilezan: Applications of typed lambda calculi in the untyped
lambda calculus, Logical Foundation of Computer Science LFCS'94, St.Petersburg,
Russia (A. Nerode and Yu. Matiyasevich eds), Lecture Notes in Computer
Science 813 (1994) 129-139.
1993
-
S. Ghilezan: Inhabitation in lambda calculus with intersection and
union types, Journal of Logic and Computation 6 (1993) 671-685.
-
S. Ghilezan: A note on typed combinators and typed lambda terms,
Review
of Research 23, (1993) 319-329.
-
S. Ghilezan: Intersection types in lambda calculus and logic,
Ph.D.
Thesis, University of Novi Sad.
1992
-
S. Ghilezan: Peirce's law and lambda calculus, Proceedings
of Logic and Computer Science, Novi Sad, Yugoslavia (1992) 27-34.
1991
-
S. Ghilezan: Lambda calculi with intersection types, Proceedings
of The 9th International Congress of Logic, Methodology and Philosophy
of Science, Uppsala, Sweden (1991).
1990
-
S. Ghilezan: Some restricted classes of typed lambda terms, Proceedings
of the Seventh Conference Algebra and Logic, Maribor, Slovenia
(1990). 61-67.
-
S. Ghilezan: Typed combinators and typed lambda terms, Proceedings
of The Third Logical Biennial Kleene'90, Chaika, Bulgaria (1990).
1989
-
S. Ghilezan: Lambda calculus and weak propositional logic,
Master
thesis (in Serbo-Croatian), University of Belgrade.
-
S. Ghilezan: The correspondence between weak implicational logics
and typed lambda calculus, Proceedings of The 1989 European Summer
Meeting of ASL (Logic Colloquium), Berlin, Germany (1989), Journal
of Symbolic Logic 57 (1992) 297.