Available on
JapaneseClass.jp
Login
Forgot password
MAIN
Social Feeds
LEARN
Practice
Lessons
Readings
Notes
COMMUNITY
Rankings
Forum
Discord
MISCELLANEOUS
Topics
Matome
Dictionary
Donate
Similar to 住性_(型理論)
ド・ブラウン・インデックス
De Bruijn index
ド・ブラウン記法
De Bruijn notation
▼
-2
trends
ド・ブラウン・レベル
不動点コンビネータ
Fixed-point combinator
無名関数
Anonymous function
ラムダ計算騎士団
Knights of the Lambda Calculus
prev
1
2
...
14
15
16
17
18
19
20
Categories
ラムダ計算
型理論
孤立
Share
Twitter
