λc.λk.c(k・f) λk.k(a) ├─────────→ λk.k(b) ↑ ↑ │ │ │ │ │ │ │ │ │ │ │ │ ┴ f ┴ a ├─────────→ b
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。