>>120
圏論活用のプログラム意味論の文献紹介してもええんやで