LAMBDA(BETA') - A LAMBDA-CALCULUS WITH A GENERALIZED BETA-REDUCTION RULE

DSpace/Manakin Repository

LAMBDA(BETA') - A LAMBDA-CALCULUS WITH A GENERALIZED BETA-REDUCTION RULE

Show full item record

Title: LAMBDA(BETA') - A LAMBDA-CALCULUS WITH A GENERALIZED BETA-REDUCTION RULE
Author: OBEROI, S
Abstract: The classical notion of beta-reduction in the lambda-calculus has an arbitrary syntactically-imposed sequentiality. A new notion of reduction beta' is defined which is a generalization of beta-reduction. This notion of reduction is shown to satisfy the Church-Rosser property as well as some other fundamental properties, leading to the conclusion that this generalized notion of beta'-reduction can be used in place of beta-reduction without sacrificing any of the fundamental properties.
URI: http://dx.doi.org/10.1016/0020-0190(94)00225-N
http://dspace.library.iitb.ac.in/xmlui/handle/10054/6717
http://hdl.handle.net/10054/6717
Date: 1995


Files in this item

Files Size Format View

There are no files associated with this item.

This item appears in the following Collection(s)

Show full item record

Search DSpace


Advanced Search

Browse

My Account