Please use this identifier to cite or link to this item:
https://open.uns.ac.rs/handle/123456789/10355
DC Field | Value | Language |
---|---|---|
dc.contributor.author | Dezani-Ciancaglini M. | en_US |
dc.contributor.author | Gilezan, Silvia | en_US |
dc.contributor.author | Likavec S. | en_US |
dc.date.accessioned | 2020-03-03T14:39:01Z | - |
dc.date.available | 2020-03-03T14:39:01Z | - |
dc.date.issued | 2004-05-28 | - |
dc.identifier.issn | 3043975 | en_US |
dc.identifier.uri | https://open.uns.ac.rs/handle/123456789/10355 | - |
dc.description.abstract | We construct two inverse limit λ-models which completely characterise sets of terms with similar computational behaviours: the sets of normalising, head normalising, weak head normalising λ-terms, those corresponding to the persistent versions of these notions, and the sets of closable, closable normalising, and closable head normalising λ-terms. More precisely, for each of these sets of terms there is a corresponding element in at least one of the two models such that a term belongs to the set if and only if its interpretation (in a suitable environment) is greater than or equal to that element. We use the finitary logical description of the models, obtained by defining suitable intersection type assignment systems, to prove this. © 2004 Elsevier B.V. All rights reserved. | en_US |
dc.relation.ispartof | Theoretical Computer Science | en_US |
dc.title | Behavioural inverse limit λ-models | en_US |
dc.type | Conference Paper | en_US |
dc.identifier.doi | 10.1016/j.tcs.2004.01.023 | - |
dc.identifier.scopus | 2-s2.0-2442629668 | - |
dc.identifier.url | https://api.elsevier.com/content/abstract/scopus_id/2442629668 | - |
dc.description.version | Unknown | en_US |
dc.relation.lastpage | 74 | en_US |
dc.relation.firstpage | 49 | en_US |
dc.relation.issue | 1-3 | en_US |
dc.relation.volume | 316 | en_US |
item.fulltext | No Fulltext | - |
item.grantfulltext | none | - |
crisitem.author.dept | Fakultet tehničkih nauka, Departman za opšte discipline u tehnici | - |
crisitem.author.orcid | 0000-0003-2253-8285 | - |
crisitem.author.parentorg | Fakultet tehničkih nauka | - |
Appears in Collections: | FTN Publikacije/Publications |
SCOPUSTM
Citations
13
checked on Sep 9, 2023
Page view(s)
83
Last Week
35
35
Last month
2
2
checked on May 10, 2024
Google ScholarTM
Check
Altmetric
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.