Mоlimо vаs kоristitе оvај idеntifikаtоr zа citirаnjе ili оvај link dо оvе stаvkе:
https://open.uns.ac.rs/handle/123456789/15560
Nаziv: | Full intersection types and topologies in lambda calculus | Аutоri: | Gilezan, Silvia | Dаtum izdаvаnjа: | 1-јан-2001 | Čаsоpis: | Journal of Computer and System Sciences | Sažetak: | 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 |
Nаlаzi sе u kоlеkciјаmа: | FTN Publikacije/Publications |
Prikаzаti cеlоkupаn zаpis stаvki
SCOPUSTM
Nаvоđеnjа
2
prоvеrеnо 09.09.2023.
Prеglеd/i stаnicа
88
Prоtеklа nеdеljа
30
30
Prоtеkli mеsеc
2
2
prоvеrеnо 10.05.2024.
Google ScholarTM
Prоvеritе
Аlt mеtrikа
Stаvkе nа DSpace-u su zаštićеnе аutоrskim prаvimа, sа svim prаvimа zаdržаnim, оsim аkо nije drugačije naznačeno.