Probabilistic Reasoning About Simply Typed Lambda Terms.

Silvia Ghilezan, Jelena Ivetic, Simona Kasterovic, Zoran Ognjanovic, Nenad Savic

Browse the full LFCS paper archive.