Молимо вас користите овај идентификатор за цитирање или овај линк до ове ставке:
https://open.uns.ac.rs/handle/123456789/10031
Поље DC-а | Вредност | Језик |
---|---|---|
dc.contributor.author | Gilezan, Silvia | en_US |
dc.date.accessioned | 2020-03-03T14:36:49Z | - |
dc.date.available | 2020-03-03T14:36:49Z | - |
dc.date.issued | 1994-01-01 | - |
dc.identifier.isbn | 9783540581406 | en_US |
dc.identifier.issn | 3029743 | en_US |
dc.identifier.uri | https://open.uns.ac.rs/handle/123456789/10031 | - |
dc.description.abstract | © 1994, Springer Verlag. All rights reserved. We discuss some properties of typed lambda calculi which can be related and applyed to the proofs of some properties of the untyped lambda calculus. The strong normalization property of the intersection type assignment system is used in order to prove the finitness of developments property of the untyped lambda calculus in Krivine (1990). Similarly, the strong normalization property of the simply typed lambda calculus can be used for the same reason. Typability in various intersection type assignment systems characterizes tambda terms in normal form, normalizing, solvable and unsolvable terms. Hence, its application in the proof of the Genericity Lemma turns out to be appropriate. | en_US |
dc.relation.ispartof | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) | en_US |
dc.title | Application of typed lambda calculi in the untyped lambda calculus | en_US |
dc.type | Conference Paper | en_US |
dc.identifier.scopus | 2-s2.0-21344498393 | - |
dc.identifier.url | https://api.elsevier.com/content/abstract/scopus_id/21344498393 | - |
dc.description.version | Unknown | en_US |
dc.relation.lastpage | 139 | en_US |
dc.relation.firstpage | 129 | en_US |
dc.relation.volume | 813 LNCS | en_US |
item.fulltext | No Fulltext | - |
item.grantfulltext | none | - |
crisitem.author.dept | Departman za opšte discipline u tehnici | - |
crisitem.author.orcid | 0000-0003-2253-8285 | - |
crisitem.author.parentorg | Fakultet tehničkih nauka | - |
Налази се у колекцијама: | FTN Publikacije/Publications |
Преглед/и станица
81
Протекла недеља
37
37
Протекли месец
0
0
проверено 10.05.2024.
Google ScholarTM
Проверите
Алт метрика
Ставке на DSpace-у су заштићене ауторским правима, са свим правима задржаним, осим ако није другачије назначено.