DC FieldValueLanguage
dc.contributor.authorKašterović, Simonaen_US
dc.contributor.authorGhilezan, Silviaen_US
dc.date.accessioned2021-05-17T09:08:15Z-
dc.date.available2021-05-17T09:08:15Z-
dc.date.issued2021-01-01-
dc.identifier.issn0955-792X-
dc.identifier.urihttp://researchrepository.mi.sanu.ac.rs/handle/123456789/4545-
dc.description.abstractFull simply typed lambda calculus is the simply typed lambda calculus extended with product types and sum types. We propose a Kripke-style semantics for full simply typed lambda calculus. We then prove soundness and completeness of type assignment in full simply typed lambda calculus with respect to the proposed semantics. The key point in the proof of completeness is the notion of a canonical model.en_US
dc.publisherOxford Academic Pressen_US
dc.relation.ispartofJournal of Logic and Computationen_US
dc.subjectCompleteness | Curry-Howard correspondence | Kripke-style semantics | Lambda calculusen_US
dc.titleKripke-style semantics and completeness for full simply typed Lambda calculusen_US
dc.typeArticleen_US
dc.identifier.doi10.1093/LOGCOM/EXAA055-
dc.identifier.scopus2-s2.0-85100843193-
dc.contributor.affiliationMathematicsen_US
dc.contributor.affiliationMathematical Institute of the Serbian Academy of Sciences and Arts-
dc.relation.firstpage1567-
dc.relation.lastpage1608-
dc.relation.issue8-
dc.relation.volume30-
dc.description.rank~M21-
item.cerifentitytypePublications-
item.openairecristypehttp://purl.org/coar/resource_type/c_18cf-
item.openairetypeArticle-
item.grantfulltextnone-
item.fulltextNo Fulltext-
crisitem.author.orcid0000-0003-2253-8285-
Show simple item record

SCOPUSTM   
Citations

2
checked on Nov 19, 2024

Page view(s)

25
checked on Nov 19, 2024

Google ScholarTM

Check

Altmetric

Altmetric


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