Please use this identifier to cite or link to this item: https://open.uns.ac.rs/handle/123456789/13811
DC FieldValueLanguage
dc.contributor.authorGilezan, Silviaen_US
dc.date.accessioned2020-03-03T14:53:48Z-
dc.date.available2020-03-03T14:53:48Z-
dc.date.issued1996-01-01-
dc.identifier.issn294527en_US
dc.identifier.urihttps://open.uns.ac.rs/handle/123456789/13811-
dc.description.abstractA simple proof is given of the property that the set of strongly normalizing lambda terms coincides with the set of lambda terms typable in certain intersection type assignment systems. © 1996 by the University of Notre Dame. All rights reserved.en_US
dc.relation.ispartofNotre Dame Journal of Formal Logicen_US
dc.titleStrong normalization and typability with intersection typesen_US
dc.typeJournal/Magazine Articleen_US
dc.identifier.doi10.1305/ndjfl/1040067315-
dc.identifier.scopus2-s2.0-0005719921-
dc.identifier.urlhttps://api.elsevier.com/content/abstract/scopus_id/0005719921-
dc.description.versionUnknownen_US
dc.relation.lastpage52en_US
dc.relation.firstpage44en_US
dc.relation.issue1en_US
dc.relation.volume37en_US
item.fulltextNo Fulltext-
item.grantfulltextnone-
crisitem.author.deptDepartman za opšte discipline u tehnici-
crisitem.author.orcid0000-0003-2253-8285-
crisitem.author.parentorgFakultet tehničkih nauka-
Appears in Collections:FTN Publikacije/Publications
Show simple item record

SCOPUSTM   
Citations

28
checked on Sep 9, 2023

Page view(s)

56
Last Week
14
Last month
1
checked on May 3, 2024

Google ScholarTM

Check

Altmetric


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