| DC Field | Value | Language |
|---|---|---|
| dc.contributor.author | Dezani-Ciancaglini, Mariangiola | en |
| dc.contributor.author | Ghilezan, Silvia | en |
| dc.date.accessioned | 2020-05-02T16:42:22Z | - |
| dc.date.available | 2020-05-02T16:42:22Z | - |
| dc.date.issued | 2003-12-01 | en |
| dc.identifier.isbn | 978-3-540-14031-3 | - |
| dc.identifier.issn | 0302-9743 | en |
| dc.identifier.uri | http://researchrepository.mi.sanu.ac.rs/handle/123456789/2612 | - |
| dc.description.abstract | We build two inverse limit lambda models which characterize completely sets of terms having similar computational behaviour. More precisely for each one 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. This is proved by using the finitary logical description of the models obtained by defining suitable intersection type assignment systems. | en |
| dc.publisher | Springer Link | - |
| dc.relation | FET - Global Computing initiative, project DART ST-2001-3347 | - |
| dc.relation | “Representation of proofs with applications, clas-sification of structures and infinite combinatorics” (of the Ministry of Science, Tech-nology, and Development of Serbia), grant 1630 | - |
| dc.relation.ispartof | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) | en |
| dc.title | Two behavioural lambda models | en |
| dc.type | Article | en |
| dc.relation.conference | International Workshop on Types for Proofs and Programs, TYPES 2002 | - |
| dc.identifier.doi | 10.1007/3-540-39185-1_8 | - |
| dc.identifier.scopus | 2-s2.0-21144459051 | en |
| dc.relation.firstpage | 127 | en |
| dc.relation.lastpage | 147 | en |
| dc.relation.volume | 2646 | 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
6
checked on Apr 17, 2024
Page view(s)
52
checked on Apr 16, 2024
Google ScholarTM
Check
Altmetric
Altmetric
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.