Browsing eNauka
Browsing by Project Swiss National Science Foundation, grant 200021_165549
Showing results 1 to 2 of 2
| Issue Date | Title | Author(s) | Type | Мp-cat. |
|---|---|---|---|---|
| 2017 | Logics with lower and upper probability operators | Savić, Nenad | Article | 21M21 |
| 2020 | Towards Probabilistic Reasoning in Type Theory - The Intersection Type Case![]() | Ghilezan, Silvia | Conference Paper | Mp. category will be shown later |
