Please use this identifier to cite or link to this item:
https://open.uns.ac.rs/handle/123456789/15560
DC Field | Value | Language |
---|---|---|
dc.contributor.author | Gilezan, Silvia | en_US |
dc.date.accessioned | 2020-03-03T15:00:26Z | - |
dc.date.available | 2020-03-03T15:00:26Z | - |
dc.date.issued | 2001-01-01 | - |
dc.identifier.issn | 220000 | en_US |
dc.identifier.uri | https://open.uns.ac.rs/handle/123456789/15560 | - |
dc.description.abstract | Topologies are introduced on the set of lambda terms by their typeability in the full intersection type assignment system. These topologies give rise to simple proofs of some fundamental results of the lambda calculus such as the continuity theorem and the genericity lemma. We show that application is continuous, unsolvable terms are bottoms, and normal forms are isolated points with respect to these topologies. The restriction of all these topologies to the set of closed lambda terms appears to be unique. We compare the introduced topology with the filter topology on the set of (closed) lambda terms and show that they coincide. © 2001 Academic Press. | en_US |
dc.relation.ispartof | Journal of Computer and System Sciences | en_US |
dc.title | Full intersection types and topologies in lambda calculus | en_US |
dc.type | Journal/Magazine Article | en_US |
dc.identifier.doi | 10.1006/jcss.2000.1703 | - |
dc.identifier.scopus | 2-s2.0-0035250713 | - |
dc.identifier.url | https://api.elsevier.com/content/abstract/scopus_id/0035250713 | - |
dc.description.version | Unknown | en_US |
dc.relation.lastpage | 14 | en_US |
dc.relation.firstpage | 1 | en_US |
dc.relation.issue | 1 | en_US |
dc.relation.volume | 62 | en_US |
item.grantfulltext | none | - |
item.fulltext | No Fulltext | - |
crisitem.author.dept | 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
2
checked on Sep 9, 2023
Page view(s)
88
Last Week
30
30
Last month
2
2
checked on May 3, 2024
Google ScholarTM
Check
Altmetric
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.