Silvia Ghilezan, Jelena Ivetic, Simona Kasterovic, Zoran Ognjanovic, Nenad Savic. Towards Probabilistic Reasoning in Type Theory - The Intersection Type Case. In Andreas Herzig, Juha Kontinen, editors, Foundations of Information and Knowledge Systems - 11th International Symposium, FoIKS 2020, Dortmund, Germany, February 17-21, 2020, Proceedings. Volume 12012 of Lecture Notes in Computer Science, pages 122-139, Springer, 2020. [doi]
Abstract is missing.