DC FieldValueLanguage
dc.contributor.authorKašterović, Simonaen_US
dc.contributor.authorGhilezan, Silviaen_US
dc.date.accessioned2020-11-25T08:56:32Z-
dc.date.available2020-11-25T08:56:32Z-
dc.date.issued2020-09-
dc.identifier.urihttp://researchrepository.mi.sanu.ac.rs/handle/123456789/4219-
dc.relation.ispartofBook of Abstracts : Logics and Applications - LAP 2020en_US
dc.titleKripke-style semantics for Full Simply Types Lambda Calculusen_US
dc.typeConference Paperen_US
dc.relation.conference9th International Conference Logic and Applications, LAP 2020, September 21 - 25, 2020, Dubrovnik, Croatiaen_US
dc.contributor.affiliationMathematical Institute of the Serbian Academy of Sciences and Arts-
dc.relation.firstpage12-
dc.relation.lastpage14-
dc.description.rankM34-
item.openairecristypehttp://purl.org/coar/resource_type/c_18cf-
item.openairetypeConference Paper-
item.cerifentitytypePublications-
item.fulltextNo Fulltext-
item.grantfulltextnone-
crisitem.author.orcid0000-0003-2253-8285-
Show simple item record

Page view(s)

17
checked on Nov 23, 2024

Google ScholarTM

Check


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