VictorTaelin/Interaction-Calculus
@VictorTaelin最適な λ 計算簡約アルゴリズムに完全に一致するプログラミング言語および計算モデル
スター
948
フォーク
70
言語
C
ライセンス
—
最終プッシュ
10 か月前
関連 Intel（0）
関連 Intel はまだありません
このリポジトリは radar が追跡するソースにまだ登場していません。コレクターはスケジュールで動いています——このリポジトリがカバーされたらまた見てください。
最適な λ 計算簡約アルゴリズムに完全に一致するプログラミング言語および計算モデル
このリポジトリは radar が追跡するソースにまだ登場していません。コレクターはスケジュールで動いています——このリポジトリがカバーされたらまた見てください。