DC FieldValueLanguage
dc.contributor.authorGhilezan, Silvia-
dc.contributor.authorIvetić, Jelena-
dc.contributor.authorOgnjanović, Zoran-
dc.contributor.authorSavić, Nenad-
dc.date.accessioned2020-06-15T15:23:23Z-
dc.date.available2020-06-15T15:23:23Z-
dc.date.issued2016-
dc.identifier.urihttp://researchrepository.mi.sanu.ac.rs/handle/123456789/3050-
dc.publisherUniversity of Novi Sad-
dc.titleTowards probabilistic reasoning about lambda terms with intersection types-
dc.typeConference Paper-
dc.relation.conferenceThe 22nd International Conference on Types for Proofs and Programs, TYPES 2016, Novi Sad, Serbia, 23-26 May 2016-
dc.contributor.affiliationMathematical Institute of the Serbian Academy of Sciences and Arts-
dc.description.rankM34-
item.openairetypeConference Paper-
item.openairecristypehttp://purl.org/coar/resource_type/c_18cf-
item.cerifentitytypePublications-
item.grantfulltextnone-
item.fulltextNo Fulltext-
crisitem.author.orcid0000-0003-2253-8285-
crisitem.author.orcid0000-0003-2508-6480-
Show simple item record

Page view(s)

36
checked on Apr 16, 2024

Google ScholarTM

Check


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