我々の TDPE： 例

= reify(?f. ?n. f @? (n +? (1 +? 2)))= ?x. reify((?f. ?n. f @? (n +? (1 +? 2))) @ x)

（関数に対する reify の定義）

Previous slide

Next slide

Back to first slide

View graphic version