Search




Research outputs

Towards Probabilistic Reasoning in Type Theory - The Intersection Type Case   [2020]

Ghilezan, Silvia  ; Ivetić, Jelena  ; Kašterović, Simona  ; Ognjanović, Zoran  ; Savić, Nenad

Filteri

Po tipu