Ghilezan, Silvia

Network Lab View Statistics Email Alert

Profile

Loading... 3 0 20 0 false
Full Name
Ghilezan, Silvia
ORCID
Scopus Author ID
Country
Serbia
Loading... 2 0 20 0 false

Publications

Results 121-140 of 142 (Search time: 0.002 seconds).

Author(s)TitleIssue DateAppears inRank
121Barendregt, Henk; Ghilezan, Silvia Lambda terms for natural deduction, sequent calculus and cut elimination1-Jan-2000Journal of Functional Programming; 10(1); 121-134
122Ghilezan, Silvia Intersection types and topologies in lambda calculus2000Workshop on Intersection Types and Related Systems, (ITRS'00) Geneva, Switzerland (2000); ProceedingsM33
123Ghilezan, Silvia ; Kunčak, ViktorReducibility method in simply typed lambda calculus2000XIV Conference on Applied Mathematics PRIM, Palić, June 2000
124Ghilezan, Silvia Topologies in lambda calculus19992nd Panhellenic Logic Symposium, Delphi, Greece (1999); Proceedings; 102-106
125Ghilezan, Silvia Natural deduction and sequent typed lambda calculus1999Novi Sad Journal of Mathematics; 29(2); 209-220
126Dezani-Ciancaglini, Mariangiola; Ghilezan, Silvia ; Venneri, BettiThe “Relevance” of intersection and union types1-Jan-1997Notre Dame Journal of Formal Logic; 38(2); 246-269
127Ghilezan, Silvia Cut elimination in the simply typed lambda calculus1997Panhellenic Logic Symposium, Nicosia, Cyprus (1997); Proceedings; 21-24
128Ghilezan, Silvia Natural deduction versus sequent lambda calculus19973rd Barcelona Logic Meeting, Barcelona, Spain (1997); Proceedings
129Ghilezan, Silvia Strong normalization and typability with intersection types1-Jan-1996Notre Dame Journal of Formal Logic; 37(1); 44-52
130Ghilezan, Silvia Generalized finiteness of developments1996Journal of Automata, Languages and Combinatorics; 247-257
131Ghilezan, Silvia Some topological properties of the lambda calculus1996Scientific Review. Series, Science and Engineering; Kurepa's Symposium, Belgrade, Yugoslavia; 19-20; 65-73
132Ghilezan, Silvia Application of typed lambda calculi in the untyped lambda calculus1-Jan-1994Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); 3rd International Symposium on Logical Foundations of Computer Science, LFCS 1994; St. Petersburg; Russian Federation; 11 July 1994 through 14 July 1994; 813 LNCS; 129-139M23
133Ghilezan, Silvia Conjugation in SerboCroatian1994Linguistic Analysis; 24; 142-150
134Ghilezan, Silvia Inhabitation in intersection and union type assignment systems1-Dec-1993Journal of Logic and Computation; 3(6); 671-685
135Ghilezan, Silvia Intersection types in lambda calculus and logic1993doctoral thesis: Prirodno-matematički fakultet, Univerzitet u Novom SaduM70
136Ghilezan, Silvia A note on typed combinators and typed lambda terms1993Review of Research Faculty of Science. Mathematics Series; 23(1); 319-329
137Ghilezan, Silvia Peirce's law and lambda calculus1992Proceedings of Logic and Computer Science, Novi Sad, Yugoslavia; 27-34
138Ghilezan, Silvia Lambda calculi with intersection types19919th International Congress of Logic, Methodology and Philosophy of Science, Uppsala, Sweden (1991); ProceedingsM34
139Ghilezan, Silvia Some restricted classes of typed lambda terms1990Seventh Conference Algebra and Logic, Maribor, Slovenia (1990); Proceedings; 61-67M33
140Ghilezan, Silvia Typed combinators and typed lambda terms1990Third Logical Biennial Kleene'90, Chaika, Bulgaria; ProceedingsM34

Projects


Results 1-2 of 2 (Search time: 0.0 seconds).

AcronymTitleStart dateCompletionP-Investigator
PROJECT 144029Models, Languages, Types, and Processes in Computing01-01-200631-12-2010Ghilezan, Silvia
PROJECT 174026Representations of logical structures and formal languages and their application in computing01-01-201131-12-2019Ghilezan, Silvia