Question
Consider the following lambda expression (lambda~x.~(lambda~y.y+x) ((lambda~z.z+x)x) 3) ( x . ( y . y + x ) ( ( z . z + x
Consider the following lambda expression (\lambda~x.~(\lambda~y.y+x) ((\lambda~z.z+x)x) 3) ( x . ( y . y + x ) ( ( z . z + x ) x ) 3 ) What is the normal form after all right-most reductions have been performed?
Step by Step Solution
There are 3 Steps involved in it
Step: 1
Get Instant Access to Expert-Tailored Solutions
See step-by-step solutions with expert insights and AI powered tools for academic success
Step: 2
Step: 3
Ace Your Homework with AI
Get the answers you need in no time with our AI-driven, step-by-step assistance
Get Started
Intelligent Databases Object Oriented Deductive Hypermedia Technologies
Authors: Kamran Parsaye, Mark Chignell, Setrag Khoshafian, Harry Wong
1st Edition
0471503452, 978-0471503453
