DC FieldValueLanguage
dc.contributor.authorGhilezan, Silviaen
dc.contributor.authorKunčak, Viktoren
dc.date.accessioned2020-05-02T16:42:23Z-
dc.date.available2020-05-02T16:42:23Z-
dc.date.issued2001-01-01en
dc.identifier.isbn978-3-540-45446-5en
dc.identifier.issn0302-9743en
dc.description.abstractWe 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.publisherSpringer Link-
dc.relation.ispartofLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)en
dc.titleConfluence of untyped lambda calculus via simple typesen
dc.typeArticleen
dc.relation.conference7th Italian Conference on Theoretical Computer Science, ICTCS 2001; Torino; Italy; 4 October 2001 through 6 October 2001-
dc.identifier.doi10.1007/3-540-45446-2_3-
dc.identifier.scopus2-s2.0-67949096699en
dc.relation.firstpage38en
dc.relation.lastpage49en
dc.relation.volume2202en
dc.description.rankM21-
item.openairetypeArticle-
item.fulltextNo Fulltext-
item.grantfulltextnone-
item.openairecristypehttp://purl.org/coar/resource_type/c_18cf-
item.cerifentitytypePublications-
crisitem.author.orcid0000-0003-2253-8285-
Show simple item record

SCOPUSTM   
Citations

1
checked on Nov 27, 2022

Page view(s)

26
checked on Nov 28, 2022

Google ScholarTM

Check

Altmetric

Altmetric


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.