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