Towards probabilistic reasoning in type theory -- the intersection type case

DOI10.1007/978-3-030-39951-1_8OpenAlexW3004416224MaRDI QIDQ2206780

Zoran Ognjanović, Jelena Ivetić, Simona Kašterović, Silvia Ghilezan, Nenad Savić

Publication date: 26 October 2020

Full work available at URL: https://doi.org/10.1007/978-3-030-39951-1_8

zbMATH Keywords

lambda calculussoundnessprobabilistic reasoningintersection typesKripke-style semantics

Mathematics Subject Classification ID

Database theory (68P15) Logic in artificial intelligence (68T27) Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence (68T35) Computing methodologies for information systems (hypertext navigation, interfaces, decision support, etc.) (68U35)

This page was built for publication: Towards probabilistic reasoning in type theory -- the intersection type case