plural of co-induction
co-inductions
その論文は、関数型プログラミングにおける無限データ構造を定義するために用いられるいくつかの共帰納法を比較している。
Don't have an account? Sign up
Do you have an account? Login
DiQt
Free
★★★★★★★★★★