Divergences on monads for relational program logics

論文・著書情報

タイトル

和文:	Divergences on monads for relational program logics
英文:	Divergences on monads for relational program logics

著者

和文:	佐藤哲也, 勝股審也.
英文:	Tetsuya Sato, Shin-ya Katsumata.

言語

English

掲載誌/書名

和文:	Mathematical Structures in Computer Science
英文:	Mathematical Structures in Computer Science

巻, 号, ページ

出版年月

2023年4月

出版者

和文:
英文:

会議名称

和文:
英文:

開催地

和文:
英文:

公式リンク

DOI