Lambda calculus proof by induction

后端 未结 0 382
刺人心
刺人心 2020-12-22 22:39

I\'ve been trying to prove the following task:

The terms Lm and L\'m for each natural number m are defined as follows. (n and c are variables wh

相关标签:
回答
  • 消灭零回复
提交回复
热议问题