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

Page view(s)

checked on May 9, 2024

Google ScholarTM


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.