| DC Field | Value | Language |
|---|---|---|
| dc.contributor.author | Ghilezan, Silvia | en |
| dc.date.accessioned | 2020-05-02T16:42:23Z | - |
| dc.date.available | 2020-05-02T16:42:23Z | - |
| dc.date.issued | 1996-01-01 | en |
| dc.identifier.issn | 0029-4527 | en |
| dc.identifier.uri | http://researchrepository.mi.sanu.ac.rs/handle/123456789/2617 | - |
| dc.description.abstract | A 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. | en |
| dc.publisher | University of Notre Dame | - |
| dc.relation.ispartof | Notre Dame Journal of Formal Logic | en |
| dc.title | Strong normalization and typability with intersection types | en |
| dc.type | Article | en |
| dc.identifier.doi | 10.1305/ndjfl/1040067315 | en |
| dc.identifier.scopus | 2-s2.0-0005719921 | en |
| dc.relation.firstpage | 44 | en |
| dc.relation.lastpage | 52 | en |
| dc.relation.issue | 1 | en |
| dc.relation.volume | 37 | en |
| item.openairetype | Article | - |
| item.openairecristype | http://purl.org/coar/resource_type/c_18cf | - |
| item.cerifentitytype | Publications | - |
| item.grantfulltext | none | - |
| item.fulltext | No Fulltext | - |
| crisitem.author.orcid | 0000-0003-2253-8285 | - |
SCOPUSTM
Citations
28
checked on Apr 17, 2024
Page view(s)
28
checked on Apr 16, 2024
Google ScholarTM
Check
Altmetric
Altmetric
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.