我々の TDPE: 例
= reify(?f. ?n. f @? (n +? (1 +? 2)))= ...= ?x. ?y. reify(x @ (y + 3))= ?x. ?y. reify(x) @ reify(y + 3)= ?x. ?y. x @ reify(y + 3)= ?x. ?y. x @ (reify(y) + reify(3))
(+ に対する reify の定義)
Previous slide
Next slide
Back to first slide
View graphic version