Ghilezan, Silvia
Loading...
3
0
20
0
false
Full Name
Ghilezan, Silvia
ORCID
Scopus Author ID
Country
Serbia
Loading...
2
0
20
0
false
Subject
- 1 combinatory logic | classical propositional logic | simple types | axiomatization | semantics | soundness | completeness
- 1 Covid-19 | Digital Contact Tracing | Structured Overlay Networks
- 1 Data Privacy | Blockchain | Contact Tracing
- 1 Differential Privacy | Privacy on Graphs | Location Privacy | Blockchain
- 1 Logic in computer science
- 1 Privacy | Internet of Things | Cloud computing | Mathematical models | Formal methods
- 1 Probabilistic reasoning | combinatory logic | simple types | classical propositional logic
Date issued
Type
Results 21-30 of 30 (Search time: 0.004 seconds).
| Author(s) | Title | Issue Date | Appears in | Rank | |
|---|---|---|---|---|---|
| 21 | Ghilezan, Silvia ; Ivetić, Jelena; Lescanne, Pierre; Likavec, Silvia | Intersection types fit well with resource control | 2015 | 21. Intenational conference on Types for Proofs and Programs - TYPES 2015, May 2015, Tallin, Estonia | M34 |
| 22 | Ghilezan, Silvia ; Ivetić, Jelena; Savić, Nenad | Normalisation in substructural term calculi | 2015 | UNILOG 2015 - The 5th World Congress on Universal Logic, June 25-30, 2015, Istanbul, Turkey | M34 |
| 23 | Ghilezan, Silvia ; Ivetić, Jelena; Lescanne, Pierre; Likavec, Silvia | Some advantages of the lambda calculi with resource control | 2014 | Matematička konferencija Republike Srpske, Trebinje, 6-7 Jun, 2014 | M34 |
| 24 | Ghilezan, Silvia ; Ivetić, Jelena; Lescanne, Pierre; Likavec, Silvia | Approaching substructural term calculi via the resource control calculus | 2014 | LAP 214 - 3rd Conference Logic and Applications, Dubrovnik, 22-26 Septembar; 12-14 | M34 |
| 25 | Ghilezan, Silvia ; Ivetić, Jelena; Likaves, Silvia | Church-Rosser Theorem for sequent lambda calculi | 2014 | TYPES 2014 - 20th Conference Types for Proofs and Programs, May 12-15 2014, Paris, France | M34 |
| 26 | Ghilezan, Silvia | Lambek's computational approach to conjugation | 2014 | LAP 2014 - 3rd Conference Logic and Applications, September 22-26, 2014, Dubrovnik, Croatia; 7-8 | M34 |
| 27 | Ghilezan, Silvia | Computational approach to conjugation | 2014 | VLP 2014 - Probabilistic Logic and Application, October 2-3, 2014, Belgrade, Serbia; 33 | M34 |
| 28 | Ghilezan, Silvia | Lambda calculi with intersection types | 1991 | 9th International Congress of Logic, Methodology and Philosophy of Science, Uppsala, Sweden (1991); Proceedings | M34 |
| 29 | Ghilezan, Silvia | Typed combinators and typed lambda terms | 1990 | Third Logical Biennial Kleene'90, Chaika, Bulgaria; Proceedings | M34 |
| 30 | Ghilezan, Silvia | The correspondence between weak implicational logics and typed lambda calculus | 1989 | Journal of Symbolic Logic (1992), 57: 297; The 1989 European Summer Meeting of ASL (Logic Colloquium), Berlin, Germany (1989); Proceedings | M34 |
Results 1-2 of 2 (Search time: 0.001 seconds).
| Acronym | Title | Start date | Completion | P-Investigator |
|---|---|---|---|---|
| PROJECT 144029 | Models, Languages, Types, and Processes in Computing | 01-01-2006 | 31-12-2010 | Ghilezan, Silvia |
| PROJECT 174026 | Representations of logical structures and formal languages and their application in computing | 01-01-2011 | 31-12-2019 | Ghilezan, Silvia |