Молимо вас користите овај идентификатор за цитирање или овај линк до ове ставке:
https://open.uns.ac.rs/handle/123456789/15560
Назив: | Full intersection types and topologies in lambda calculus | Аутори: | Gilezan, Silvia | Датум издавања: | 1-јан-2001 | Часопис: | Journal of Computer and System Sciences | Сажетак: | 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. | URI: | https://open.uns.ac.rs/handle/123456789/15560 | ISSN: | 220000 | DOI: | 10.1006/jcss.2000.1703 |
Налази се у колекцијама: | FTN Publikacije/Publications |
Приказати целокупан запис ставки
SCOPUSTM
Навођења
2
проверено 09.09.2023.
Преглед/и станица
88
Протекла недеља
30
30
Протекли месец
2
2
проверено 03.05.2024.
Google ScholarTM
Проверите
Алт метрика
Ставке на DSpace-у су заштићене ауторским правима, са свим правима задржаним, осим ако није другачије назначено.