A new program for combinatory reduction and abstraction

Simple item page
dc.contributor.authorDeshpande, Sushant
dc.contributor.authorUniversity of Lethbridge. Faculty of Arts and Science
dc.contributor.supervisorSeldin, Jonathan
dc.date.accessioned2011-06-15T17:45:08Z
dc.date.available2011-06-15T17:45:08Z
dc.date.issued2009
dc.degree.levelMasters
dc.descriptionv, 96 leaves ; 29 cmen_US
dc.description.abstractEven though lambda calculus (λ-calculus) and combinatory logic (CL) appear to be equivalent, they are not. As yet we do not have a reduction in CL which corresponds to β-reduction in λ-calculus. There are three proposals but they all have few problems one of which is the lack of a complete characterization of CL-terms corresponding to λ-terms in β-normal form. Finding such a characterization for any of the three proposals appears to require a lot of examples which are tedious and time consuming to develop by hand. For this reason, a computer program to do reductions and abstractions of CL-terms would be useful. This thesis is about an attempt to write such a program. The program that we have does not yet work for the three proposals but it works for βη-strong reduction. Coding this program turned out to be much harder than anticipated. Dr. Robin Cockett developed a semantic translation which helped in coding the program but his semantic translation needs to be extended to all three proposals to obtain the program originally desired and that needs a lot of research.en_US
dc.identifier.urihttps://hdl.handle.net/10133/1296
dc.language.isoen_USen_US
dc.publisherLethbridge, Alta. : University of Lethbridge, Dept. of Mathematics and Computer Science, c2009en_US
dc.publisher.departmentDepartment of Mathematics and Computer Scienceen_US
dc.publisher.facultyArts and Scienceen_US
dc.relation.ispartofseriesThesis (University of Lethbridge. Faculty of Arts and Science)en_US
dc.subjectCombinatory logicen_US
dc.subjectLambda calculusen_US
dc.subjectDissertations, Academicen_US
dc.titleA new program for combinatory reduction and abstractionen_US
dc.typeThesisen_US
Files
Original bundle
Now showing 1 - 1 of 1
Thumbnail Image
Name:
DESHPANDE_SUSHANT_MSC_2009.pdf
Size:
403.6 KB
Format:
Adobe Portable Document Format
Description:
Download
License bundle
Now showing 1 - 1 of 1
Thumbnail Image
Name:
license.txt
Size:
1.63 KB
Format:
Item-specific license agreed upon to submission
Description:
Download
Collections
Arts and Science, Faculty of
University of Lethbridge Theses