DC FieldValueLanguage
dc.contributor.authorGhilezan, Silviaen_US
dc.contributor.authorKunčak, Viktoren_US
dc.date.accessioned2020-12-07T11:29:12Z-
dc.date.available2020-12-07T11:29:12Z-
dc.date.issued2001-
dc.identifier.urihttp://researchrepository.mi.sanu.ac.rs/handle/123456789/4264-
dc.description.abstractA general reducibility method for proving reduction properties of the simply typed lambda calculus is presented and sufficient conditions for its applications are derived.en_US
dc.publisherUniverzitet u Novom Saduen_US
dc.relation.ispartofNovi Sad Journal of Mathematicsen_US
dc.subjectlambda calculus | simple types | reducibility modelen_US
dc.titleReducibility method in simply typed lambda calculusen_US
dc.typeArticleen_US
dc.identifier.urlhttps://sites.dmi.uns.ac.rs/nsjom/Papers/31_1/NSJOM_31_1_027_032.pdf-
dc.relation.firstpage27-
dc.relation.lastpage32-
dc.relation.volume31-
item.cerifentitytypePublications-
item.grantfulltextnone-
item.openairetypeArticle-
item.openairecristypehttp://purl.org/coar/resource_type/c_18cf-
item.fulltextNo Fulltext-
crisitem.author.orcid0000-0003-2253-8285-
Show simple item record

Page view(s)

39
checked on May 9, 2024

Google ScholarTM

Check


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