Search




Research outputs

Probabilistic reasoning about simply typed lambda terms   [2018]

Gilezan, Silvia K.  ; Ivetić, Jelena  ; Kašterović, Simona  ; Ognjanović, Zoran  ; Savic, Nenad

Filters

By type