『プログラミング言語の意味論と圏論』
https://www.kurims.kyoto-u.ac.jp/~kenkyubu/kokai-koza/H28-hasegawa.pdf
プログラミング言語と圏論
確認用
Q.
#操作的意味論 #表示的意味論
#圏論 #プログラミング言語
#文献