ラムダ用語のデータセットはありますか?

私は、型なしラムダ計算のための還元戦略を最適化することを実験しています。使用できるラムダ条件(終了)の(公開されている)データセットがありますか?

おそらく、一般的に使用されているプログラミング言語のコードをスクラップし、LCにコンパイルすることは可能でしょう…

ベスト、 ポールグスタフソン

P.S.この質問のためのより良いフォーラムがある場合はお知らせください。

ベストアンサー
申し訳ありませんが、適切な答えはありません

返信を残す

メールアドレスが公開されることはありません。 * が付いている欄は必須項目です