Divergences on monads for relational program logics

Publication Information

Title

Japanese:	Divergences on monads for relational program logics
English:	Divergences on monads for relational program logics

Author

Japanese:	佐藤哲也, 勝股審也.
English:	Tetsuya Sato, Shin-ya Katsumata.

Language

English

Journal/Book name

Japanese:	Mathematical Structures in Computer Science
English:	Mathematical Structures in Computer Science

Volume, Number, Page

Published date

Apr. 2023

Publisher

Japanese:
English:

Conference name

Japanese:
English:

Conference site

Japanese:
English:

Official URL

DOI