General Information


Research


Collaborations & Cooperations


Teaching


News and Miscellaneous


Professional Activities


HOME

List of publications

2009

  • S. Ghilezan, S. Likavec: Computational interpretations of logics.  Collected papers, Mathematical Institute SANU 12(20) :159-215, (2009), (special issue Logic in Computer Science, ed Z. Ognjanovic, invited paper). [ .pdf ]

  • S. Ghilezan, J. Ivetic, P. Lescanne, D. Zunic: Intuitionistic sequent-style calculus with explicit structural rules, Tbilisi 2009 - The Eight International Tbilisi Symposium on Language, Logic and Computation.

2008

  • M.Dezani-Ciancaglini, S. Ghilezan, J. Pantovic, D. Varacca: Security types for dynamic web data, Theoretical Computer Science 402: 156-171 (2008). [ .pdf ]

  • H. Herbelin and S. Ghilezan: An approach to call-by-name delimited continuations, POPL 2008 - The 35th Annual ACM SIGPLAN - SIGACT Symposium on Principles of Programming Languages, San Francisco, USA,  January 2008, ACM SIGPLAN Notices 43 (1): 383-394 (2008).

  • D. Dougherty, S. Ghilezan and P. Lescanne: Characterizing strong normalization in the Curien-Herbelin symmetric lambda calculus: extending the Coppo-Dezani heritage, Theoretical Computer Science (special issue Festschrift Coppo, Dezani, Ronchi, eds S. Berardi, U de' Liquoro) 398: 114-128 (2008) [ .pdf ]

  • J. Espirito Santo, S. Ghilezan and J. Ivetic: Characterizing strongly normalising intuitionistic sequent terms, TYPES 2007, Lecture Notes in Computer Science 4941: 85-99 (2008).

2007

  • S. Ghilezan: Terms for Natural Deduction, Sequent Calculus and Cut Elimination in Classical Logic. In Reflections on Type Theory, Lambda Calculus and the Mind, Essays dedicated to Henk Barendregt, eds E. Barendsen, V. Capretta, H. Geuvers, M. Niqui, 115-124. (2007). [ .pdf ]

  • D. Dougherty, S. Ghilezan, and P. Lescanne: A general technique for analyzing termination in symmetric proof calculi. WST'07 - The 9th International Workshop on Termination, Paris, France, July 2007. [ .pdf ]

  • S. Ghilezan, J. Pantovic and J. Zunic: Separating Points by Parallel Hyperplanes -- Characterization Problem, IEEE Transactions of Neural Networks 18 (5):  1356-1363 (2007).

2006

  • M.Dezani-Ciancaglini, S. Ghilezan and J. Pantovic: Security types for dynamic web data, TGC'06 - Trustworthy Global Computing, Lucca, Italy, November 2006, Lecture Notes in Computer Science 4661: 263-280 (2006).

2005

  • D.Dougherty, S.Ghilezan, P.Lescanne and S.Likavec: Strong normalization of the classical sequent calculus, LPAR 2005 12th International Conference Logic Programming and Artificial Reasoning, Montego Bay, Jamaica, December 2005, Lecture Notes in Computer Science 3835: 169-183 (2005). [ .pdf ]

  • D. Dougherty, S. Ghilezan and P. Lescanne: Intersection and union types in the lambda-mu-mu~ calculus, ,ITRS'04 Workshop on Intersection Types and related Systems, Turku, Finland, July 2004. Electronic Notes in Theoretical Computer Science, 136: 153-172 (2005). [ .pdf ]

  • S. Ghilezan, J. Pantovic and J. Zunic: Partitioning Finite d-Dimensional Integer Grids with Application, in T. Gonzalez, editor, Handbook of Approximation Algorithms and Metaheuristic, (2005) publisher Taylor & Fransis Group, USA.

2004

  • D. Dougherty, S. Ghilezan and P. Lescanne: Characterizing strong normalization in a language with control operators, PPDP 2004 - 6th ACM-SIGPLAN International Conference on Principles and Practice of Declarative Programming, Verona, Italy, August 2004. [ .pdf ]

  • S. Ghilezan and P. Lescanne: Classical proofs, typed processes and intersection types,  TYPES 2003 , Lecture Notes in  Computer Science 3085, 226-241.

  • M. Dezani-Ciancaglini, S. Ghilezan and S. Likavec: Behavioural inverse limit lambda models,   Theoretical Computer Science Vol 316/1-3 (May 2004)  49-74.  

2003

  • M. Dezani-Ciancaglini and S. Ghilezan: A behavioural lambda model,    Schedae Informaticae Universitas Iagelonica 12, 35-47.

  • S.Ghilezan and S. Likavec: Extensions of the reducibility method,  PLS4  - The 4th Panhellenic Logic Symposium 107-112.

2002

  • M. Dezani-Ciancaglini and S. Ghilezan: Two behavioural lambda models,   TYPES 2002,  Lecture Notes in  Computer Science 2646, 127-147.

  • S. Ghilezan and S. Likavec: Reducibility: a ubiguitous method in lambda calculus with intersection types,   ITRS'02,  Electronic Notes in Theoretical Computer Science 70 (2002).

2001

  • S. Ghilezan:  Full intersection types and topologies in lambda calculus, Journal of Computer and System Sciences, 62 (2001)  1-14.

  • M. Dezani-Ciancaglini and  S. Ghilezan :  A lambda model characterizing computational behaviours of terms, invited talk at  Rewriting in Proofs and Computation, (RPC'01) (Y. Toyama ed.) Sendai, Japan, (2001) 100-118 .

  • 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, The 5th Italian Conference on Theoretical Computer Science, (ICTCS'01) (A. Restivo, S. Ronchi della Rocca, L. Roversi eds)  Turin, Italy,  Lecture Notes in Computer Science 2201,  38-49.

  • S. Ghilezan: Types and confluence in lambda calculus,  Proceedings of the 3rd Panhellenic Logic Symposium, (PLS3)  (E. Kranakis ed.) Crete, Greece (2001).

  • 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

  • H.P. Barendregt and S. Ghilezan: Lambda terms for natural deduction, sequent calculus and cut elimination, Journal of Functional Programming, 10 (2000) 121-134.

  • S. Ghilezan: Intersection types and topologies in lambda calculus, Proceedings of the Workshop on Intersection Types and Related Systems, (ITRS'00) Geneva, Switzerland (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, (in English), 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.



last modified: 2008-05-14