過ぎるだけの時間じゃ悔しい
Search
Search
Dark mode
Light mode
Explorer
binding
1 item with this tag.
Jun 28, 2026
ラムダ計算と簡約
lambda-calculus
beta-reduction
de-bruijn
binding
computation
functional
optimal-reduction
interaction-nets
beta-optimal
graph-reduction
sharing