Simona Kašterović: Probabilistic reasoning about typed lambda terms

Datum objave: 25. 3. 2019
Seminar za temelje matematike in teoretično računalništvo
Četrtek, 28. 3. 2019, od 11h do 13h, učilnica 3.07, Jadranska 21
Abstract: In this talk, I will present formal models for reasoning about probabilities of typed lambda terms, more precisely of simply typed lambda terms and lambda terms with intersection types. I will present its syntax, Kripke-style semantics and axiomatic system. We have proved the soundness of the axiomatic system with respect to the presented Kripke-style semantics. However, completeness is still an open problem.