Question: Use Applied Lambda Calculus rules to give proofs of a) Given (true, 1) prove that (true, 1).fst results in a Boolean type and (true 1).snd
Use Applied Lambda Calculus rules to give proofs of
a) Given (true, 1) prove that (true, 1).fst results in a Boolean type and (true 1).snd results in a Natural Number type b) Given {succ 4, if false then true else false}.fst, prove this results in a Natural Number type. a) Given (true, 1) prove that (true, 1).fst results in a Boolean type and (true 1).snd results in a Natural Number type b) Given {succ 4, if false then true else false}.fst, prove this results in a Natural Number type
Step by Step Solution
There are 3 Steps involved in it
1 Expert Approved Answer
Step: 1 Unlock
Question Has Been Solved by an Expert!
Get step-by-step solutions from verified subject matter experts
Step: 2 Unlock
Step: 3 Unlock
Study Help