Ghilezan, SilviaSilviaGhilezanIvetić, JelenaJelenaIvetićKašterović, SimonaSimonaKašterovićOgnjanović, ZoranZoranOgnjanovićSavic, NenadNenadSavic2024-10-252024-10-252018https://boris-portal.unibe.ch/handle/20.500.12422/162364en000 - Computer science, knowledge & systems500 - Science::510 - MathematicsProbabilistic reasoning about simply typed Lambda termsbook_section10.7892/boris.11708510.1007/978-3-319-72056-2_11