Quartz 5
Search
Search
Dark mode
Light mode
Reader mode
Explorer
Home
❯
notes
❯
eta-conversion
eta-conversion
Properties
1
tags
computation/lambda
Nov 14, 2022
1 min read
λx.Mx -> M
if M はxを含まない
Eta Reduction
参考文献
Eta Reduction - Kevin Sookocheff
Graph View
Backlinks
MOC: 言語/型/コンパイラ
Y Combinator