DC FieldValueLanguage
dc.contributor.authorGhilezan, Silviaen_US
dc.date.accessioned2023-10-10T09:16:11Z-
dc.date.available2023-10-10T09:16:11Z-
dc.date.issued1993-
dc.identifier.issn0352-0900-
dc.identifier.urihttp://researchrepository.mi.sanu.ac.rs/handle/123456789/5164-
dc.description.abstractThe combinatory completeness of the typed theory of combinators and the equality in expressive power of the typed theory of combinators and typed [lambda]-calculus are proved.en_US
dc.relation.ispartofReview of Research Faculty of Science. Mathematics Seriesen_US
dc.titleA note on typed combinators and typed lambda termsen_US
dc.typeArticleen_US
dc.identifier.urlhttps://sites.dmi.uns.ac.rs/nsjom/Papers/23_1/NSJOM_23_1_319_329.pdf-
dc.relation.firstpage319-
dc.relation.lastpage329-
dc.relation.issue1-
dc.relation.volume23-
item.grantfulltextnone-
item.cerifentitytypePublications-
item.fulltextNo Fulltext-
item.openairecristypehttp://purl.org/coar/resource_type/c_18cf-
item.openairetypeArticle-
crisitem.author.orcid0000-0003-2253-8285-
Show simple item record

Google ScholarTM

Check


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