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-139 of 139 (Search time: 0.005 seconds).

Author(s)TitleIssue DateAppears inRank
121Ghilezan, Silvia Topologies in lambda calculus19992nd Panhellenic Logic Symposium, Delphi, Greece (1999); Proceedings; 102-106
122Ghilezan, Silvia Natural deduction and sequent typed lambda calculus1999Novi Sad Journal of Mathematics; 29(2); 209-220
123Dezani-Ciancaglini, Mariangiola; Ghilezan, Silvia ; Venneri, BettiThe “Relevance” of intersection and union types1-Jan-1997Notre Dame Journal of Formal Logic; 38(2); 246-269
124Ghilezan, Silvia Cut elimination in the simply typed lambda calculus1997Panhellenic Logic Symposium, Nicosia, Cyprus (1997); Proceedings; 21-24
125Ghilezan, Silvia Natural deduction versus sequent lambda calculus19973rd Barcelona Logic Meeting, Barcelona, Spain (1997); Proceedings
126Ghilezan, Silvia Strong normalization and typability with intersection types1-Jan-1996Notre Dame Journal of Formal Logic; 37(1); 44-52
127Ghilezan, Silvia Generalized finiteness of developments1996Journal of Automata, Languages and Combinatorics; 247-257
128Ghilezan, Silvia Some topological properties of the lambda calculus1996Scientific Review. Series, Science and Engineering; Kurepa's Symposium, Belgrade, Yugoslavia; 19-20; 65-73
129Ghilezan, 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
130Ghilezan, Silvia Conjugation in SerboCroatian1994Linguistic Analysis; 24; 142-150
131Ghilezan, Silvia Inhabitation in intersection and union type assignment systems1-Dec-1993Journal of Logic and Computation; 3(6); 671-685
132Ghilezan, Silvia Intersection types in lambda calculus and logic1993doctoral thesis: Prirodno-matematički fakultet, Univerzitet u Novom SaduM70
133Ghilezan, Silvia A note on typed combinators and typed lambda terms1993Review of Research Faculty of Science. Mathematics Series; 23(1); 319-329
134Ghilezan, Silvia Peirce's law and lambda calculus1992Proceedings of Logic and Computer Science, Novi Sad, Yugoslavia; 27-34
135Ghilezan, Silvia Lambda calculi with intersection types19919th International Congress of Logic, Methodology and Philosophy of Science, Uppsala, Sweden (1991); ProceedingsM34
136Ghilezan, Silvia Some restricted classes of typed lambda terms1990Seventh Conference Algebra and Logic, Maribor, Slovenia (1990); Proceedings; 61-67M33
137Ghilezan, Silvia Typed combinators and typed lambda terms1990Third Logical Biennial Kleene'90, Chaika, Bulgaria; ProceedingsM34
138Ghilezan, Silvia The correspondence between weak implicational logics and typed lambda calculus1989Journal of Symbolic Logic (1992), 57: 297; The 1989 European Summer Meeting of ASL (Logic Colloquium), Berlin, Germany (1989); ProceedingsM34
139Ghilezan, Silvia Lambda račun I slabe iskazne logike1988master thesis: Matematički fakultet, Univerzitet u BeograduM71

Projects


Results 1-2 of 2 (Search time: 0.001 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