Probabilistic reasoning about simply typed lambda terms

DOI10.1007/978-3-319-72056-2_11zbMath1505.03035OpenAlexW2769599136MaRDI QIDQ1709701

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

Publication date: 6 April 2018

Full work available at URL: https://doi.org/10.1007/978-3-319-72056-2_11

zbMATH Keywords

soundnessstrong completenesssimply typed lambda-calculusprobabilistic logic

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40)

This page was built for publication: Probabilistic reasoning about simply typed lambda terms