GitHub repository: ksuenaga/winskel-textbook-jp
Primary language: TeX
Description: Glynn Winskel 著，末永幸平他訳，「プログラミング言語の形式的意味論入門」（丸善出版, 2023）のサポートサイト