Ivetić, Jelena

Up a level
Export as [feed] RSS
Group by: Item Type | No Grouping
Number of items: 1.

Ghilezan, Silvia; Ivetić, Jelena; Kašterović, Simona; Ognjanović, Zoran; Savic, Nenad (2018). Probabilistic reasoning about simply typed Lambda terms. In: Logical Foundations of Computer Science. Lecture Notes in Computer Science: Vol. 10703 (pp. 170-189). Cham: Springer International Publishing 10.1007/978-3-319-72056-2_11

This list was generated on Wed Sep 30 14:33:18 2020 CEST.
Provide Feedback