Yalun Liang

プログラミング言語の意味論を扱うための集合と関係を使った教え方ガイド。