Browsing by Author Kašterović, Simona
Showing results 11 to 14 of 14
< previous
| Author(s) | Title | Issue Date | Appears in | Rank |
|---|---|---|---|---|
| Ghilezan, Silvia ; Kašterović, Simona | Towards Completeness of Full Simply Typed Lambda Calculus | Mar-2020 | 26th International Conference on Types for Proofs and Programs, EUTYPES-TYPES, 2-5 March 2020, Turin, Italy; 164-166 | M34 |
| Kašterović, Simona; Ghilezan, Silvia | Towards Logic of Combinatory Logic | Sep-2021 | 10th International Conference Logic and Applications, LAP 2021, September 20 - 24, 2020, Dubrovnik, Croatia; Book of Abstracts of the 10th International Conference Logic and Applications, LAP 2021; 34-36 | M34 |
| Ghilezan, Silvia ; Ivetić, Jelena; Kašterović, Simona; Ognjanović, Zoran ; Savić, Nenad | Towards Probabilistic reasoning about simply typed lambda terms | Nov-2017 | Sedma nacionalna konferencija “Verovatnosne logike i njihove primene” ; Beograd, Srbija, 8. novembar 2017; 11-12 | |
| Ghilezan, Silvia ; Ivetić, Jelena; Kašterović, Simona; Ognjanović, Zoran ; Savić, Nenad | Towards Probabilistic Reasoning in Type Theory - The Intersection Type Case | 1-Jan-2020 | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); 11th International Symposium on Foundations of Information and Knowledge Systems, FoIKS 2020; Dortmund; Germany; 17 February 2020 through 21 February 2020; 12012 LNCS; 122-139 | M33 |