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/12689
Pоljе DC-а | Vrеdnоst | Јеzik |
---|---|---|
dc.contributor.author | Gilezan, Silvia | en |
dc.contributor.author | Kunčak V. | en |
dc.date.accessioned | 2020-03-03T14:49:32Z | - |
dc.date.available | 2020-03-03T14:49:32Z | - |
dc.date.issued | 2001-01-01 | en |
dc.identifier.isbn | 9783540454465 | en |
dc.identifier.issn | 3029743 | en |
dc.identifier.uri | https://open.uns.ac.rs/handle/123456789/12689 | - |
dc.description.abstract | © Springer-Verlag Berlin Heidelberg 2001. We present a new proof of confluence of the untyped lambda calculus by reducing the confluence of β-reduction in the untyped lambda calculus to the confluence of β-reduction in the simply typed lambda calculus. This is achieved by embedding typed lambda terms into simply typed lambda terms. Using this embedding, an auxiliary reduction, and β-reduction on simply typed lambda terms we define a new reduction on all lambda terms. The transitive closure of the reduction defined is β-reduction on all lambda terms. This embedding allows us to use the confluence of β-reduction on simply typed lambda terms and thus prove the confluence of the reduction defined. As a consequence we obtain the confluence of β-reduction in the untyped lambda calculus. | en |
dc.relation.ispartof | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) | en |
dc.title | Confluence of untyped lambda calculus via simple types | en |
dc.type | Conference Paper | en |
dc.identifier.scopus | 2-s2.0-67949096699 | en |
dc.identifier.url | https://api.elsevier.com/content/abstract/scopus_id/67949096699 | en |
dc.relation.lastpage | 49 | en |
dc.relation.firstpage | 38 | en |
dc.relation.volume | 2202 | en |
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 | - |
Nаlаzi sе u kоlеkciјаmа: | FTN Publikacije/Publications |
Prеglеd/i stаnicа
80
Prоtеklа nеdеljа
33
33
Prоtеkli mеsеc
1
1
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.