Besonderhede van voorbeeld: 8935295880195001551

English

T may be defined as follows: T => x T => (T T) T => (K T) (if x does not occur free in E) T => I T => T] (if x occurs free in E) T => (S T T) (if x occurs free in E1 or E2) This process is also known as abstraction elimination.

Japanese

T => x T => (T T) T => (K T) (if x does not occur free in E) T => I T => T] (if x occurs free in E) T => (S T T) これはabstraction eliminationとして知られている。