Probabilistic Reasoning About Simply Typed Lambda Terms

TitleProbabilistic Reasoning About Simply Typed Lambda Terms
Publication TypeConference Paper
Year of Publication2018
AuthorsGhilezan, S, Ivetic, J, Kasterovic, S, Ognjanović, Z, Savić, N
Conference NameLogical Foundations of Computer Science - International Symposium, {LFCS} 2018, Deerfield Beach, FL, USA, January 8-11, 2018, Proceedings
Pagination170–189
URLhttp://www.iam.unibe.ch/ltgpub/2018/gikos18.pdf