Towards Probabilistic Reasoning in Type Theory - The Intersection Type Case

von Ognjanovié,, Silvia Ghilezan, Jelena Ivetié, Simona Kasterovié, Zoran
Veröffentlicht in FoIKS (11. : 2020 : Dortmund) Foundations of information and knowledge systems (2020)