Kašterović, Simona

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

Book Section

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 Sat Aug 15 22:40:40 2020 CEST.
Provide Feedback