Sergey Goncharov

この論文は、プログラミングにおける非決定的な反復へのアプローチをカテゴリー理論で統一してるよ。