ksuenaga/winskel-textbook-jp

Glynn Winskel 著，末永幸平他訳，「プログラミング言語の形式的意味論入門」（丸善出版, 2023）のサポートサイト

语言：TeX · GitHub 星标：11 · Fork：2

在 GitHub 上查看原仓库