Probabilistic Reasoning About Simply Typed Lambda Terms
Crossref DOI link: https://doi.org/10.1007/978-3-319-72056-2_11
Published Online: 2017-11-28
Published Print: 2018
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Ghilezan, Silvia
Ivetić, Jelena
Kašterović, Simona
Ognjanović, Zoran
Savić, Nenad
License valid from 2017-11-28