Претрага
Резултати
Towards Probabilistic Reasoning in Type Theory - The Intersection Type Case
[2020]
Ghilezan, Silvia 
; Ivetić, Jelena ; Kašterović, Simona ; Ognjanović, Zoran ; Savić, Nenad
Филтери
По типу