| Authors: | Ghilezan, Silvia Ivetić, Jelena Ognjanović, Zoran Savić, Nenad |
Affiliations: | Mathematical Institute of the Serbian Academy of Sciences and Arts | Title: | Towards probabilistic reasoning about lambda terms with intersection types | Conference: | The 22nd International Conference on Types for Proofs and Programs, TYPES 2016, Novi Sad, Serbia, 23-26 May 2016 | Issue Date: | 2016 | Rank: | M34 | Publisher: | University of Novi Sad |
Show full item record
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.