Kasterovic, Simona

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

Conference or Workshop Item

Ghilezan, Silvia; Ivetic, Jelena; Kasterovic, Simona; Ognjanovic, Zoran; Savic, Nenad (3 January 2020). Towards Probabilistic Reasoning in Type Theory - The Intersection Type Case. In: Herzig, Andreas; Kontinen, Juha (eds.) Foundations of Information and Knowledge Systems. Lecture Notes in Computer Science: Vol. 12012 (pp. 122-139). Springer 10.1007/978-3-030-39951-1_8

This list was generated on Wed Aug 12 14:44:51 2020 CEST.
Provide Feedback