『プログラミング言語の意味論と圏論』 - pogi-log

『プログラミング言語の意味論と圏論』

https://www.kurims.kyoto-u.ac.jp/~kenkyubu/kokai-koza/H28-hasegawa.pdf

プログラミング言語と圏論

プログラム意味論

確認用

Q.

#操作的意味論 #表示的意味論

#圏論 #プログラミング言語