DSpace
 

DSpace at IIT Bombay >
IITB Publications >
Article >

Please use this identifier to cite or link to this item: http://dspace.library.iitb.ac.in/jspui/handle/10054/6717

Title: LAMBDA(BETA') - A LAMBDA-CALCULUS WITH A GENERALIZED BETA-REDUCTION RULE
Authors: OBEROI, S
Issue Date: 1995
Publisher: ELSEVIER SCIENCE BV
Citation: INFORMATION PROCESSING LETTERS, 54(1), 45-53
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
ISSN: 0020-0190
Appears in Collections:Article

Files in This Item:

There are no files associated with this item.

View Statistics

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

 

Valid XHTML 1.0! DSpace Software Copyright © 2002-2010  Duraspace - Feedback